'(= (Machine_Total_Weight ?X) (+ (Machine_Weight (Elevator.Machine ?X)) (Motor_Weight (Elevator.Motor ?X))))