(Inherited-Facet-Value Slot-Value-Type Elevator Motor_Horsepower_Required Real-Number) (Inherited-Facet-Value Slot-Cardinality Elevator Motor_Horsepower_Required 1) (<= (Has-Parameter-Slot $X Motor_Horsepower_Required) (Elevator $X)) (Inherited-Slot-Value Elevator Has-Parameter-Slot Motor_Horsepower_Required)