(<= (Motor_Generator_Current_Maximum $X 238) (Motor_Generator_Model_M03 $X)) (<= (Model-Id $X Motor_Generator_Model_M03) (Motor_Generator_Model_M03 $X)) (<= (Has-Parameter-Slot $X Motor_Generator_Current_Maximum) (Motor_Generator_Model_M03 $X))