(= (Inverse Crosses-Through) Crossed-Through-By) (<=> (Crossed-Through-By ?A ?B) (And (Localized-Entity ?A) (Localized-Entity ?B)))