Relation COMPLICATED-BY

Arity: 2
Domain: Entity
Range: Entity
Axioms:
(= (Inverse Complicates) Complicated-By)

(<=> (Complicated-By ?A ?B) (And (Entity ?A) (Entity ?B)))