Relation CROSSED-OVER-BY

Arity: 2
Axioms:
(= (Inverse Crosses-Over) Crossed-Over-By)