(note TQG52)
(category general)

(minLang tff)
(time 300)

(=>
  (and
    (measure ?O1 (MeasureFn ?N1 ?U))
    (measure ?O2 (MeasureFn ?N2 ?U))
    (measure ?O3 (MeasureFn ?N3 ?U))
    (instance ?U UnitOfMass)
    (part ?O1 ?O3)
    (part ?O2 ?O3))
  (greaterThan ?N3 (AdditionFn ?N1 ?N2)))

(instance MyCar Automobile)
(instance MyTransmission AutomobileTransmission)
(instance MySuspension AutoSuspensionSystem)
(part MyTransmission MyCar)
(part MySuspension MyCar)
(measure MyTransmission (MeasureFn 100 PoundMass))
(measure MySuspension (MeasureFn 200 Kilogram))

(query
  (and
    (measure MyCar (MeasureFn ?X PoundMass))
    (greaterThan ?X ?Y)))

(answer no)