'(=> (And (> (Motor_Torque_Releveling ?X) 83) (= (Model-Id (Elevator.Motor ?X)) Motor_Model_M03)) (= (Motor_Peak_Current_Required ?X) (- (* 1.739 (Motor_Torque_Releveling ?X)) 66.087)))