_:b254665045 . _:b254665045 . _:b254665045 "(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] " . _:b254665045 . _:b254665045 .