Relation INVERSE-OF-SCHEMATIC-RELATION

Arity: 2
Axioms:
(= (Inverse Schematic-Relation) Inverse-Of-Schematic-Relation)