(<= (Has-Subpart-Slot $X Elevator.Counterweightbg) (Elevator $X)) (Inherited-Slot-Value Elevator Has-Subpart-Slot Elevator.Counterweightbg) (Inherited-Facet-Value Slot-Value-Type Elevator Elevator.Counterweightbg Counterweight_Between_Guiderails_M) (Inherited-Facet-Value Slot-Cardinality Elevator Elevator.Counterweightbg 1) (=> (Elevator.Counterweightbg $X $Y) (Counterweight_Between_Guiderails_M $Y)) (=> (Elevator.Counterweightbg $X $Y) (Elevator $X))