(forall (x) (if (ProcessBounda ...... label in BFO2 CLIF: [085-002]
(iff (ProcessBoundary a) (exis ...... label in BFO2 CLIF: [084-001]