Added onClass axiom to cardinality restriction.