(forall (x y t) (if (and (Spat ...... label in BFO2 CLIF: [036-001]
(forall (x) (if (SpatialRegion ...... label in BFO2 CLIF: [035-001]