Relation CROSSES-OVER

x crosses-over y when x crosses-through the region of y, without overlapping y.
Arity: 2
Domain: Localized-entity
Range: Localized-entity
Subrelation-Of: Position-relation
Axioms:
(=> (Crosses-Over ?A ?B)
    (And (Exists (?C)
                 (And (Region-Of ?B ?C) (Crosses-Through ?A ?C)))
         (Not (Connected ?A ?B))))