(forall (x t) (if (and (Realiz ...... label in BFO2 CLIF: [063-002]
(forall (x) (if (Disposition x ...... label in BFO2 CLIF: [062-002]