subsumption axiom add