'(= (Counterweight_Stack_Height (Elevator.Counterweightbg ?X)) (* (Counterweight_Plate_Quantity (Elevator.Counterweightbg ?X)) 1))
(<= (Has-Constraint $X Counterweight_Stack_Height_C) (Elevator $X)) (Inherited-Slot-Value Elevator Has-Constraint Counterweight_Stack_Height_C) (Used-In-Constraint Counterweight_Plate_Quantity Counterweight_Stack_Height_C) (Used-In-Constraint Counterweight_Stack_Height Counterweight_Stack_Height_C)