Relation INVERSE-OF-DEPENDENCE-RELATION

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