_:b665421106 . _:b665421106 . _:b665421106 . _:b665421106 . _:b665421106 . _:b665421106 "(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] " .