'(=> (= (Car_Speed ?X) 350) (= (Hoist_Cable_Safety_Factor_Minimum ?X) 9.75))
(<= (Has-Constraint $X Hoist_Cable_Safety_Factor_C04) (Elevator $X)) (Inherited-Slot-Value Elevator Has-Constraint Hoist_Cable_Safety_Factor_C04) (Used-In-Constraint Car_Speed Hoist_Cable_Safety_Factor_C04) (Used-In-Constraint Hoist_Cable_Safety_Factor_Minimum Hoist_Cable_Safety_Factor_C04)