(equal (MeasureFn ?NUMBER Pound) (MeasureFn (MultiplicationFn ?NUMBER 0.45359237) Kilogram))
Next unparented: QuaternaryFunction Up: unparented Previous unparented: piece