Constraint MACHINE_GROOVE_PRESSURE_CONSTANT_C06


Slots on this instance:

Instance-Of: Constraint
Constraint-On: Elevator
Constraint.Expression:
'(=> (And (= (Car_Speed ?X) 200)
          (= (Model-Id (Elevator.Msheavegroove ?X))
             Machine_Groove_Model_M01))
     (= (Machine_Groove_Pressure_Constant ?X) 196))


Notes: