bug fixed
Generalizing rules
Query rule