Slots on this function:
- Instance-Of: Function, Parameter-slot, Unary-function
- Arity: 2
- Parameter-Slot-Of:
- Door_model, Door_model_code_m02, Door_model_code_m03, Door_model_code_m05, Door_model_code_m06, Elevator
- Used-In-Constraint: Door_opening_strike_side_c, Door_opening_type_c01, Door_opening_type_c02
Notes: