All axioms now generate in Drools