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