(forall (x) (if (FiatObjectPar ...... label in BFO2 CLIF: [027-004]