(<= (Motor_Generator_Current_Maximum $X 450) (Motor_Generator_Model_M02 $X)) (<= (Model-Id $X Motor_Generator_Model_M02) (Motor_Generator_Model_M02 $X)) (<= (Has-Parameter-Slot $X Motor_Generator_Current_Maximum) (Motor_Generator_Model_M02 $X))