Relation HAS-ATTACHED

Arity: 2
Axioms:
(= (Inverse Attached) Has-Attached)