(forall (x) (if (Occurrent x) ...... label in BFO2 CLIF: [108-001]
(forall (x) (iff (Occurrent x) ...... label in BFO2 CLIF: [079-001]