(<= (Motor_Generator_Current_Maximum $X 143) (Motor_Generator_Model_M01 $X)) (<= (Model-Id $X Motor_Generator_Model_M01) (Motor_Generator_Model_M01 $X)) (<= (Has-Parameter-Slot $X Motor_Generator_Current_Maximum) (Motor_Generator_Model_M01 $X))