(<= (Has-Parameter-Slot $X Car_Maintenance_Station_Weight) (Car $X)) (Inherited-Slot-Value Car Has-Parameter-Slot Car_Maintenance_Station_Weight) (Inherited-Facet-Value Slot-Value-Type Car Car_Maintenance_Station_Weight Integer) (Inherited-Facet-Value Slot-Cardinality Car Car_Maintenance_Station_Weight 1) (<= (Car_Maintenance_Station_Weight $X 7) (Car1 $X))