_:b665797764 . _:b665797764 . _:b665797764 . _:b665797764 . _:b665797764 . _:b665797764 "(forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001] " .