_:b662809647 . _:b662809647 . _:b662809647 . _:b662809647 . _:b662809647 . _:b662809647 . _:b662809647 "(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] " .