x crosses-over y when x crosses-through the region of y, without overlapping y.
(=> (Crosses-Over ?A ?B) (And (Exists (?C) (And (Region-Of ?B ?C) (Crosses-Through ?A ?C))) (Not (Connected ?A ?B))))