(forall (x) (if (Quality x) (S ...... label in BFO2 CLIF: [055-001]
(forall (x) (if (exists (t) (a ...... label in BFO2 CLIF: [105-001]