Relation HAS-ABSENCE

Arity: 2
Axioms:
(= (Inverse Absent-In) Has-Absence)