(forall (x y) (if (processProf ...... label in BFO2 CLIF: [094-005]
(iff (ProcessProfile a) (exist ...... label in BFO2 CLIF: [093-002]