_:b663515743 . _:b663515743 . _:b663515743 . _:b663515743 . _:b663515743 . _:b663515743 . _:b663515743 "(forall (x) (if (TwoDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [039-001] " .