_:b662809670 . _:b662809670 . _:b662809670 . _:b662809670 . _:b662809670 . _:b662809670 . _:b662809670 "(forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001] " .