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