Function isRestrictionAxiom

Generated using TypeDoc