extracted rules