Class ELEVATOR

• Defined in theory: Vt-domain
• Source code: vt-domain.lisp

Slots on this class:

Instance-Of: Class

Subclass-Of: Vt-component

Domain-Of:

Elevator.car, Elevator.carbuffer, Elevator.carguiderail, Elevator.compensationcable, Elevator.controlcable, Elevator.counterweightbg, Elevator.counterwtbuffer, Elevator.counterwtguard, Elevator.counterwtguiderail, Elevator.crosshead, Elevator.deflectorsheave, Elevator.door, Elevator.governor, Elevator.governorcable, Elevator.hoistcable, Elevator.intercom, Elevator.lantern, Elevator.machine, Elevator.mbeam, Elevator.motgenerator, Elevator.motor, Elevator.msheavegroove, Elevator.phone, Elevator.platform, Elevator.positionind, Elevator.safety, Elevator.sling

Has-Constraint:

C-11, C-13, C-14, C-15, C-16, C-17, C-18, C-19, C-2, C-20, C-21, C-22, C-23, C-24_1, C-24_2, C-25, C-26, C-27, C-28_1, C-28_2, C-28_3, C-29_1, C-29_2, C-30_1, C-30_2, C-31, C-32, C-33_1, C-33_2, C-34_1, C-34_2, C-34_3, C-34_4, C-35, C-36_1, C-36_2, C-36_3, C-37, C-38, C-44, C-45, C-46_1, C-46_2, C-46_3, C-46_4, C-47, C-48_1, C-48_2, C-49, C-4_1, C-4_2, C-50, C-5_1, C-5_2, C-5_3, C-6, C-8, C-9, Cable_load_total_car_side_car_bottom, Cable_load_total_car_side_car_top, Cable_load_total_car_side_maximum_c01, Cable_load_total_car_side_maximum_c02, Cable_load_total_counterweight_side_car_c1, Cable_load_total_counterweight_side_car_c2, Cable_load_unbalanced_c, Carbufferblockh_of_elevator_values, Carbuffer_cst7, Car_buffer_blocking_height_c, Car_buffer_striking_speed_maximum_c, Car_buffer_striking_speed_minimum_c, Car_buffer_stroke_c, Car_cable_hitch_offset_c01, Car_cable_hitch_offset_c02, Car_cable_hitch_offset_c03, Car_cable_hitch_to_counterweight_cable_hitch_c, Car_cable_hitch_to_platform_rear_c, Car_cab_weight_c, Car_capacity_c, Car_capacity_range_c, Car_cst5, Car_fixture_weight_c, Car_guiderail_vertical_force_c, Car_guiderail_vertical_force_maximum_c02, Car_guiderail_vertical_force_maximum_c03, Car_guiderail_vertical_force_maximum_c04, Car_guiderail_vertical_force_maximum_c05, Car_guiderail_vertical_force_maximum_c06, Car_guiderail_vertical_force_maximum_c07, Car_guiderail_vertical_force_maximum_c08, Car_guiderail_vertical_force_maximum_c09, Car_guiderail_vertical_force_maximum_c10, Car_guiderail_vertical_force_maximum_c11, Car_intercom_c01, Car_intercom_c02, Car_intercom_c03, Car_lantern_c01, Car_lantern_c02, Car_lantern_c03, Car_misc_weight_c, Car_phone_c01, Car_phone_c02, Car_phone_c03, Car_position_indicator_c01, Car_position_indicator_c02, Car_position_indicator_c03, Car_return_left_c04, Car_return_left_c05, Car_return_left_c06, Car_return_left_c07, Car_return_left_c08, Car_return_left_c09, Car_return_right_c, Car_runby_c, Car_speed_c, Car_weight_c, Compensation_cable_length_c01, Compensation_cable_length_c02, Compensation_cable_load_car_top, Compensation_cable_load_counterweight_side_car_bottom_c, Compensation_cable_load_counterweight_side_car_top_c, Compensation_cable_load_side_car_bottom, Compensation_cable_model_c01, Compensation_cable_model_c02, Compensation_cable_model_c03, Compensation_cable_model_c04, Compensation_cable_model_c05, Compensation_cable_quantity_c01, Compensation_cable_unit_weight_optimal_c, Control_cable_load_average_c, Control_cable_load_car_side_car_bottom_c, Control_cable_load_car_side_car_top_c, Control_cable_loop_below_car_bottom_c, Control_cable_model_c01, Control_cable_model_c02, Control_cable_model_c03, Counterweight_above_top_car_bottom_c, Counterweight_between_guiderails_possible_values, Counterweight_bottom_reference_c, Counterweight_buffer_load_c, Counterweight_frame_weight_calc, Counterweight_guard_required_c, Counterweight_guard_required_c2, Counterweight_guiderail_unit_weight_c, Counterweight_overtravel_c, Counterweight_plate_quantity_c02, Counterweight_plate_weight_c, Counterweight_runby_c, Counterweight_space_c, Counterweight_stack_height_c, Counterweight_stack_weight_c, Counterweight_stack_weight_desired_c, Counterweight_system_weight_c, Counterweight_to_hoistway_rear_c, Counterweight_to_platform_rear_c, Counterweight_weight_c, Counterweight_weight_desired_c, Crosshead_bending_moment_c, Crosshead_deflection_index_c, Crosshead_model_c01, Crosshead_model_c02, Crosshead_model_c03, Crosshead_model_c04, Crosshead_model_c05, Deflector_sheave_diameter_c, Deflector_sheave_diameter_minimum, Deflector_sheave_protrusion_c, Door_opening_strike_side_spec_c, Door_opening_type_c, Door_opening_type_c01, Door_opening_type_c02, Door_operator_header_weight_c, Door_operator_weight_c, Door_space_c01, Door_space_c02, Door_speed_c, Door_speed_c01, Door_speed_code_c02, Door_speed_code_c03, Governor_cable_length_c, Hoistcable_quantity, Hoistway_bracket_spacing_c, Hoistway_top_landing_to_underside_machine_beam_c, Hoist_cable_above_counterweight_car_bottom_c, Hoist_cable_length_c, Hoist_cable_load_car_side_car_bottom_c, Hoist_cable_load_car_side_car_top_c, Hoist_cable_load_counterweight_side_car_bottom_c, Hoist_cable_load_counterweight_side_car_top_c, Hoist_cable_safety_factor_c01, Hoist_cable_safety_factor_c02, Hoist_cable_safety_factor_c03, Hoist_cable_safety_factor_c04, Hoist_cable_safety_factor_c05, Hoist_cable_traction_factor_c, Hoist_cable_traction_ratio_c01, Hoist_cable_traction_ratio_c02, Hoist_cable_traction_ratio_c03, Hoist_cable_traction_ratio_c04, Hoist_cable_traction_ratio_car_bottom_empty_c, Hoist_cable_traction_ratio_car_bottom_full_c, Hoist_cable_traction_ratio_car_top_empty_c, Hoist_cable_traction_ratio_car_top_full_c, Machine_angle_of_contact_c, Machine_beam_bending_moment_left_maximum_c01, Machine_beam_bending_moment_left_maximum_c02, Machine_beam_bending_moment_right_maximum_c01, Machine_beam_bending_moment_right_maximum_c02, Machine_beam_center_to_machine_sheave_center_c, Machine_beam_impact_load_left_c, Machine_beam_impact_load_right_c, Machine_beam_impact_load_total_c, Machine_beam_length_c, Machine_beam_load_front_left_c, Machine_beam_load_front_right_c, Machine_beam_load_rear_left_c, Machine_beam_load_rear_right_c, Machine_beam_reaction_front_left_c, Machine_beam_reaction_front_right_c, Machine_beam_reaction_rear_left_c, Machine_beam_reaction_rear_right_c, Machine_beam_section_modulus_left_minimum_c, Machine_beam_section_modulus_right_minimum_c, Machine_beam_support_bottom_to_machine_room_top_c, Machine_beam_support_to_machine_beam_center_c, Machine_beam_support_type_c, Machine_beam_support_underside_to_machine_room_floor, Machine_beam_total_load_left_c, Machine_beam_total_load_right_c, Machine_beam_weight_c, Machine_efficiency_c02, Machine_efficiency_c03, Machine_efficiency_c04, Machine_efficiency_c05, Machine_efficiency_c06, Machine_efficiency_c07, Machine_efficiency_c08, Machine_efficiency_c09, Machine_efficiency_c10, Machine_efficiency_c11, Machine_efficiency_c12, Machine_efficiency_c13, Machine_efficiency_c14, Machine_efficiency_c15, Machine_efficiency_c16, Machine_efficiency_c17, Machine_efficiency_c18, Machine_efficiency_c19, Machine_efficiency_c20, Machine_efficiency_c21, Machine_gear_ratio_symbolic_c01, Machine_gear_ratio_symbolic_c02, Machine_gear_ratio_symbolic_c03, Machine_gear_ratio_symbolic_c04, Machine_gear_ratio_symbolic_c05, Machine_gear_ratio_symbolic_c06, Machine_gear_ratio_symbolic_c07, Machine_gear_ratio_symbolic_c08, Machine_gear_ratio_symbolic_c09, Machine_gear_ratio_symbolic_c10, Machine_gear_ratio_symbolic_c11, Machine_gear_ratio_symbolic_c12, Machine_gear_ratio_symbolic_c13, Machine_gear_ratio_symbolic_c14, Machine_gear_ratio_symbolic_c15, Machine_gear_ratio_symbolic_c16, Machine_gear_ratio_symbolic_c17, Machine_gear_ratio_symbolic_c18, Machine_gear_ratio_symbolic_c19, Machine_gear_ratio_symbolic_c20, Machine_groove_pressure_acceptable_maximum_c, Machine_groove_pressure_c, Machine_groove_pressure_constant_c01, Machine_groove_pressure_constant_c02, Machine_groove_pressure_constant_c03, Machine_groove_pressure_constant_c04, Machine_groove_pressure_constant_c05, Machine_groove_pressure_constant_c06, Machine_groove_pressure_constant_c07, Machine_groove_pressure_constant_c08, Machine_groove_pressure_constant_c09, Machine_groove_pressure_constant_c10, Machine_sheave_center_to_front_machine_beam_support_c, Machine_sheave_height_c, Machine_sheave_to_deflector_sheave_c, Machine_sheave_to_deflector_sheave_diagonal_c, Machine_sheave_to_deflector_sheave_horizontal_c, Machine_suspended_load_c, Machine_total_weight_c, Motorscompatible_machine18, Motorscompatible_machine28, Motorscompatible_machine58, Motor_horsepower_c, Motor_horsepower_required_c01, Motor_horsepower_required_c02, Motor_horsepower_required_c03, Motor_torque_releveling_c, Noofhoistcables_of_elevator_values, Onebuffer_whenless38, Opening_to_hoistway_right_c, Opening_width_c, Peakmcur_calc_10hp_1, Peakmcur_calc_10hp_2, Peakmcur_calc_10hp_3, Peakmcur_calc_15hp_1, Peakmcur_calc_15hp_2, Peakmcur_calc_15hp_3, Peakmcur_calc_20hp_1, Peakmcur_calc_20hp_2, Peakmcur_calc_25hp_1, Peakmcur_calc_25hp_2, Peakmcur_calc_25hp_3, Peakmcur_calc_30hp_1, Peakmcur_calc_30hp_2, Peakmcur_calc_40hp_1, Peakmcur_calc_40hp_2, Platform_depth_c, Platform_model_c01, Platform_model_c02, Platform_model_c03, Platform_model_c04, Platform_to_hoistway_front_c, Platform_to_hoistway_left_c, Platform_to_hoistway_right_c, Platform_weight_c01, Platform_weight_c02, Platform_weight_c03, Platform_weight_factor_ap_c01, Platform_weight_factor_ap_c02, Platform_weight_factor_ap_c03, Platform_weight_factor_ap_c04, Platform_weight_factor_ap_c05, Platform_weight_factor_ap_c06, Platform_weight_factor_ap_c07, Platform_weight_factor_ap_c08, Platform_weight_factor_ap_c09, Platform_weight_factor_ap_c11, Platform_weight_factor_s_c01, Platform_weight_factor_s_c02, Platform_weight_factor_s_c03, Platform_weight_factor_x_c01, Platform_weight_factor_x_c02, Platform_weight_factor_x_c03, Platform_weight_factor_x_c04, Platform_weight_factor_x_c05, Platform_weight_factor_z_c01, Platform_weight_factor_z_c02, Platform_weight_factor_z_c03, Platform_width_c01, Safety_beam_bending_moment_c, Safety_beam_between_guiderails_c, Safety_beam_load_c, Safety_beam_model_c01, Safety_beam_model_c02, Safety_beam_model_c03, Safety_beam_weight_c, Sling_stile_length_c, Sling_underbeam_c, Sling_weight_c

Inherited-Slot-Value:

C-11, C-13, C-14, C-15, C-16, C-17, C-18, C-19, C-2, C-20, C-21, C-22, C-23, C-24_1, C-24_2, C-25, C-26, C-27, C-28_1, C-28_2, C-28_3, C-29_1, C-29_2, C-30_1, C-30_2, C-31, C-32, C-33_1, C-33_2, C-34_1, C-34_2, C-34_3, C-34_4, C-35, C-36_1, C-36_2, C-36_3, C-37, C-38, C-44, C-45, C-46_1, C-46_2, C-46_3, C-46_4, C-47, C-48_1, C-48_2, C-49, C-4_1, C-4_2, C-50, C-5_1, C-5_2, C-5_3, C-6, C-8, C-9, Cable_load_total_car_side_car_bottom, Cable_load_total_car_side_car_top, Cable_load_total_car_side_maximum_c01, Cable_load_total_car_side_maximum_c02, Cable_load_total_counterweight_side_car_c1, Cable_load_total_counterweight_side_car_c2, Cable_load_unbalanced_c, Carbufferblockh_of_elevator_values, Carbuffer_cst7, Car_buffer_blocking_height_c, Car_buffer_striking_speed_maximum_c, Car_buffer_striking_speed_minimum_c, Car_buffer_stroke_c, Car_cable_hitch_offset_c01, Car_cable_hitch_offset_c02, Car_cable_hitch_offset_c03, Car_cable_hitch_to_counterweight_cable_hitch_c, Car_cable_hitch_to_platform_rear_c, Car_cab_weight_c, Car_capacity_c, Car_capacity_range_c, Car_cst5, Car_fixture_weight_c, Car_guiderail_vertical_force_c, Car_guiderail_vertical_force_maximum_c02, Car_guiderail_vertical_force_maximum_c03, Car_guiderail_vertical_force_maximum_c04, Car_guiderail_vertical_force_maximum_c05, Car_guiderail_vertical_force_maximum_c06, Car_guiderail_vertical_force_maximum_c07, Car_guiderail_vertical_force_maximum_c08, Car_guiderail_vertical_force_maximum_c09, Car_guiderail_vertical_force_maximum_c10, Car_guiderail_vertical_force_maximum_c11, Car_intercom_c01, Car_intercom_c02, Car_intercom_c03, Car_lantern_c01, Car_lantern_c02, Car_lantern_c03, Car_misc_weight_c, Car_phone_c01, Car_phone_c02, Car_phone_c03, Car_position_indicator_c01, Car_position_indicator_c02, Car_position_indicator_c03, Car_return_left_c04, Car_return_left_c05, Car_return_left_c06, Car_return_left_c07, Car_return_left_c08, Car_return_left_c09, Car_return_right_c, Car_runby_c, Car_speed_c, Car_weight_c, Compensation_cable_length_c01, Compensation_cable_length_c02, Compensation_cable_load_car_top, Compensation_cable_load_counterweight_side_car_bottom_c, Compensation_cable_load_counterweight_side_car_top_c, Compensation_cable_load_side_car_bottom, Compensation_cable_model_c01, Compensation_cable_model_c02, Compensation_cable_model_c03, Compensation_cable_model_c04, Compensation_cable_model_c05, Compensation_cable_quantity_c01, Compensation_cable_unit_weight_optimal_c, Control_cable_load_average_c, Control_cable_load_car_side_car_bottom_c, Control_cable_load_car_side_car_top_c, Control_cable_loop_below_car_bottom_c, Control_cable_model_c01, Control_cable_model_c02, Control_cable_model_c03, Counterweight_above_top_car_bottom_c, Counterweight_between_guiderails_possible_values, Counterweight_bottom_reference_c, Counterweight_buffer_load_c, Counterweight_frame_weight, Counterweight_guard_required_c, Counterweight_guard_required_c2, Counterweight_guiderail_unit_weight_c, Counterweight_overtravel_c, Counterweight_plate_quantity_c02, Counterweight_plate_weight_c, Counterweight_runby_c, Counterweight_space_c, Counterweight_stack_height_c, Counterweight_stack_weight_c, Counterweight_stack_weight_desired_c, Counterweight_system_weight_c, Counterweight_to_hoistway_rear_c, Counterweight_to_platform_rear_c, Counterweight_weight_c, Counterweight_weight_desired_c, Crosshead_bending_moment_c, Crosshead_deflection_index_c, Crosshead_model_c01, Crosshead_model_c02, Crosshead_model_c03, Crosshead_model_c04, Crosshead_model_c05, Deflector_sheave_diameter_c, Deflector_sheave_diameter_minimum, Deflector_sheave_protrusion_c, Door_opening_strike_side_spec_c, Door_opening_type_c, Door_opening_type_c01, Door_opening_type_c02, Door_operator_header_weight_c, Door_operator_weight_c, Door_space_c01, Door_space_c02, Door_speed_c, Door_speed_code_c02, Door_speed_code_c03, Governor_cable_length_c, Hoistcable_quantity, Hoistway_bracket_spacing_c, Hoistway_top_landing_to_underside_machine_beam_c, Hoist_cable_above_counterweight_car_bottom_c, Hoist_cable_length_c, Hoist_cable_load_car_side_car_bottom_c, Hoist_cable_load_car_side_car_top_c, Hoist_cable_load_counterweight_side_car_bottom_c, Hoist_cable_load_counterweight_side_car_top_c, Hoist_cable_safety_factor_c01, Hoist_cable_safety_factor_c02, Hoist_cable_safety_factor_c03, Hoist_cable_safety_factor_c04, Hoist_cable_safety_factor_c05, Hoist_cable_traction_factor_c, Hoist_cable_traction_ratio_c01, Hoist_cable_traction_ratio_c02, Hoist_cable_traction_ratio_c03, Hoist_cable_traction_ratio_c04, Hoist_cable_traction_ratio_car_bottom_empty_c, Hoist_cable_traction_ratio_car_bottom_full_c, Hoist_cable_traction_ratio_car_top_empty_c, Hoist_cable_traction_ratio_car_top_full_c, Machine_angle_of_contact_c, Machine_beam_bending_moment_left_maximum_c01, Machine_beam_bending_moment_left_maximum_c02, Machine_beam_bending_moment_right_maximum_c01, Machine_beam_bending_moment_right_maximum_c02, Machine_beam_center_to_machine_sheave_center_c, Machine_beam_impact_load_left_c, Machine_beam_impact_load_right_c, Machine_beam_impact_load_total_c, Machine_beam_length_c, Machine_beam_load_front_left_c, Machine_beam_load_front_right_c, Machine_beam_load_rear_left_c, Machine_beam_load_rear_right_c, Machine_beam_reaction_front_left_c, Machine_beam_reaction_front_right_c, Machine_beam_reaction_rear_left_c, Machine_beam_reaction_rear_right_c, Machine_beam_section_modulus_left_minimum_c, Machine_beam_section_modulus_right_minimum_c, Machine_beam_support_bottom_to_machine_room_top_c, Machine_beam_support_to_machine_beam_center_c, Machine_beam_support_type_c, Machine_beam_support_underside_to_machine_room_floor, Machine_beam_total_load_left_c, Machine_beam_total_load_right_c, Machine_beam_weight_c, Machine_efficiency_c02, Machine_efficiency_c03, Machine_efficiency_c04, Machine_efficiency_c05, Machine_efficiency_c06, Machine_efficiency_c07, Machine_efficiency_c08, Machine_efficiency_c09, Machine_efficiency_c10, Machine_efficiency_c11, Machine_efficiency_c12, Machine_efficiency_c13, Machine_efficiency_c14, Machine_efficiency_c15, Machine_efficiency_c16, Machine_efficiency_c17, Machine_efficiency_c18, Machine_efficiency_c19, Machine_efficiency_c20, Machine_efficiency_c21, Machine_gear_ratio_symbolic_c01, Machine_gear_ratio_symbolic_c02, Machine_gear_ratio_symbolic_c03, Machine_gear_ratio_symbolic_c04, Machine_gear_ratio_symbolic_c05, Machine_gear_ratio_symbolic_c06, Machine_gear_ratio_symbolic_c07, Machine_gear_ratio_symbolic_c08, Machine_gear_ratio_symbolic_c09, Machine_gear_ratio_symbolic_c10, Machine_gear_ratio_symbolic_c11, Machine_gear_ratio_symbolic_c12, Machine_gear_ratio_symbolic_c13, Machine_gear_ratio_symbolic_c14, Machine_gear_ratio_symbolic_c15, Machine_gear_ratio_symbolic_c16, Machine_gear_ratio_symbolic_c17, Machine_gear_ratio_symbolic_c18, Machine_gear_ratio_symbolic_c19, Machine_gear_ratio_symbolic_c20, Machine_groove_pressure_acceptable_maximum_c, Machine_groove_pressure_c, Machine_groove_pressure_constant_c01, Machine_groove_pressure_constant_c02, Machine_groove_pressure_constant_c03, Machine_groove_pressure_constant_c04, Machine_groove_pressure_constant_c05, Machine_groove_pressure_constant_c06, Machine_groove_pressure_constant_c07, Machine_groove_pressure_constant_c08, Machine_groove_pressure_constant_c09, Machine_groove_pressure_constant_c10, Machine_sheave_center_to_front_machine_beam_support_c, Machine_sheave_height_c, Machine_sheave_to_deflector_sheave_c, Machine_sheave_to_deflector_sheave_diagonal_c, Machine_sheave_to_deflector_sheave_horizontal_c, Machine_suspended_load_c, Machine_total_weight_c, Motorscompatible_machine18, Motorscompatible_machine28, Motorscompatible_machine58, Motor_horsepower_c, Motor_horsepower_required_c01, Motor_horsepower_required_c02, Motor_horsepower_required_c03, Motor_torque_releveling_c, Noofhoistcables_of_elevator_values, Onebuffer_whenless38, Opening_to_hoistway_right_c, Opening_width_c, Peakmcur_calc_10hp_1, Peakmcur_calc_10hp_2, Peakmcur_calc_10hp_3, Peakmcur_calc_15hp_1, Peakmcur_calc_15hp_2, Peakmcur_calc_15hp_3, Peakmcur_calc_20hp_1, Peakmcur_calc_20hp_2, Peakmcur_calc_25hp_1, Peakmcur_calc_25hp_2, Peakmcur_calc_25hp_3, Peakmcur_calc_30hp_1, Peakmcur_calc_30hp_2, Peakmcur_calc_40hp_1, Peakmcur_calc_40hp_2, Platform_depth_c, Platform_model_c01, Platform_model_c02, Platform_model_c03, Platform_model_c04, Platform_to_hoistway_front_c, Platform_to_hoistway_left_c, Platform_to_hoistway_right_c, Platform_weight_c01, Platform_weight_c02, Platform_weight_c03, Platform_weight_factor_ap_c01, Platform_weight_factor_ap_c02, Platform_weight_factor_ap_c03, Platform_weight_factor_ap_c04, Platform_weight_factor_ap_c05, Platform_weight_factor_ap_c06, Platform_weight_factor_ap_c07, Platform_weight_factor_ap_c08, Platform_weight_factor_ap_c09, Platform_weight_factor_ap_c11, Platform_weight_factor_s_c01, Platform_weight_factor_s_c02, Platform_weight_factor_s_c03, Platform_weight_factor_x_c01, Platform_weight_factor_x_c02, Platform_weight_factor_x_c03, Platform_weight_factor_x_c04, Platform_weight_factor_x_c05, Platform_weight_factor_z_c01, Platform_weight_factor_z_c02, Platform_weight_factor_z_c03, Platform_width_c01, Safety_beam_bending_moment_c, Safety_beam_between_guiderails_c, Safety_beam_load_c, Safety_beam_model_c01, Safety_beam_model_c02, Safety_beam_model_c03, Safety_beam_weight_c, Sling_stile_length_c, Sling_underbeam_c, Sling_weight_c

Has-Parameter-Slot:

Cable_load_car_side_car_bottom, Cable_load_car_side_car_top, Cable_load_counterweight_side_car_bottom, Cable_load_counterweight_side_car_top, Cable_load_total_car_side_maximum, Cable_load_unbalanced, Carslingub, Car_buffer_blocking_height, Car_buffer_compressed_clearance, Car_buffer_load, Car_buffer_quantity, Car_buffer_striking_speed_maximum, Car_buffer_striking_speed_minimum, Car_cable_hitch_to_counterweight_cable_hitch, Car_cable_hitch_to_platform_front, Car_cable_hitch_to_platform_rear, Car_cab_height, Car_cab_weight, Car_capacity, Car_capacity_range, Car_fixture_weight, Car_guiderail_vertical_force, Car_guiderail_vertical_force_maximum, Car_intercom_spec, Car_lantern_spec, Car_misc_weight, Car_overtravel, Car_phone_spec, Car_position_indicator_spec, Car_return_left, Car_return_right, Car_runby, Car_speed, Car_supplement_weight, Car_weight, Compensation_cable_length, Compensation_cable_load_car_side_car_bottom, Compensation_cable_load_car_side_car_top, Compensation_cable_load_counterweight_side_car_bottom, Compensation_cable_load_counterweight_side_car_top, Compensation_cable_quantity, Compensation_cable_unit_weight_optimal, Control_cable_load_average, Control_cable_load_car_side_car_bottom, Control_cable_load_car_side_car_top, Control_cable_loop_below_car_bottom, Counterweight_above_top_car_bottom, Counterweight_between_guiderails_value, Counterweight_bottom_reference, Counterweight_buffer_blocking_height, Counterweight_buffer_footing_channel_height, Counterweight_buffer_load, Counterweight_buffer_quantity, Counterweight_frame_a, Counterweight_frame_b, Counterweight_frame_height, Counterweight_frame_height_s, Counterweight_frame_thickness, Counterweight_frame_weight, Counterweight_frame_weight_s, Counterweight_overtravel, Counterweight_plate_depth, Counterweight_plate_quantity, Counterweight_plate_thickness, Counterweight_plate_weight, Counterweight_runby, Counterweight_space, Counterweight_stack_height, Counterweight_stack_weight, Counterweight_stack_weight_desired, Counterweight_system_weight, Counterweight_to_hoistway_rear, Counterweight_to_platform_rear, Counterweight_u_bracket_protrusion, Counterweight_weight, Counterweight_weight_desired, Counterwtplatformwt, Crosshead_bending_moment, Crosshead_deflection_index, Deflector_sheave_diameter, Deflector_sheave_protrusion, Door_opening_strike_side, Door_opening_strike_side_spec, Door_opening_type, Door_opening_type_s, Door_operator_header_weight, Door_operator_weight, Door_space, Door_speed, Door_speed_code, Governor_cable_length, Hoistway_bracket_spacing, Hoistway_depth, Hoistway_floor_height, Hoistway_overhead, Hoistway_pit_depth, Hoistway_top_landing_to_underside_machine_beam, Hoistway_travel, Hoistway_width, Hoist_cable_above_counterweight_car_bottom, Hoist_cable_length, Hoist_cable_load_car_side_car_bottom, Hoist_cable_load_car_side_car_top, Hoist_cable_load_counterweight_side_car_bottom, Hoist_cable_load_counterweight_side_car_top, Hoist_cable_quantity, Hoist_cable_safety_factor, Hoist_cable_safety_factor_minimum, Hoist_cable_traction_factor, Hoist_cable_traction_ratio, Hoist_cable_traction_ratio_car_bottom_empty, Hoist_cable_traction_ratio_car_bottom_full, Hoist_cable_traction_ratio_car_top_empty, Hoist_cable_traction_ratio_car_top_full, Machine_acceleration_maximum, Machine_angle_of_contact, Machine_beam_bearing_plate_thickness, Machine_beam_bending_moment_left_maximum, Machine_beam_bending_moment_right_maximum, Machine_beam_center_to_machine_sheave_center, Machine_beam_impact_load_left, Machine_beam_impact_load_right, Machine_beam_impact_load_total, Machine_beam_length, Machine_beam_load_front_left, Machine_beam_load_front_right, Machine_beam_load_rear_left, Machine_beam_load_rear_right, Machine_beam_reaction_front_left, Machine_beam_reaction_front_right, Machine_beam_reaction_rear_left, Machine_beam_reaction_rear_right, Machine_beam_safety_factor, Machine_beam_section_modulus_left_minimum, Machine_beam_section_modulus_right_minimum, Machine_beam_support_bottom_to_machine_room_top, Machine_beam_support_bottom_to_machine_room_top_spec, Machine_beam_support_distance, Machine_beam_support_front_to_hoistway, Machine_beam_support_to_machine_beam_center, Machine_beam_support_type, Machine_beam_total_load_left, Machine_beam_total_load_right, Machine_beam_weight, Machine_efficiency, Machine_gear_ratio_numeric, Machine_groove_pressure, Machine_groove_pressure_acceptable_maximum, Machine_groove_pressure_constant, Machine_sheave_center_to_front_machine_beam_support, Machine_sheave_height, Machine_sheave_to_deflector_sheave, Machine_sheave_to_deflector_sheave_diagonal, Machine_sheave_to_deflector_sheave_horizontal, Machine_suspended_load, Machine_total_weight, Maxacceptablecarbuffstroke, Minacceptablembeammodulus, Minacceptableopeningw, Motor_current_supported_maximum, Motor_horsepower_required, Motor_peak_current_required, Motor_torque_releveling, Opening_count, Opening_height, Opening_to_hoistway_left, Opening_to_hoistway_right, Opening_width_building, Opening_width_door, Platform_depth, Platform_depth_spec, Platform_running_clearance, Platform_to_hoistway_front, Platform_to_hoistway_left, Platform_to_hoistway_right, Platform_weight, Platform_weight_factor_ap, Platform_weight_factor_s, Platform_weight_factor_x, Platform_weight_factor_z, Platform_width, Platform_width_f, Safety_beam_bending_moment, Safety_beam_between_guiderails, Safety_beam_bg, Safety_beam_load, Safety_beam_weight, Sling_stile_length, Sling_underbeam, Sling_underbeam_space, Sling_weight

Inherited-Slot-Value:

Cable_load_car_side_car_bottom, Cable_load_car_side_car_top, Cable_load_counterweight_side_car_bottom, Cable_load_counterweight_side_car_top, Cable_load_total_car_side_maximum, Cable_load_unbalanced, Carslingub, Car_buffer_blocking_height, Car_buffer_compressed_clearance, Car_buffer_load, Car_buffer_quantity, Car_buffer_striking_speed_maximum, Car_buffer_striking_speed_minimum, Car_cable_hitch_to_counterweight_cable_hitch, Car_cable_hitch_to_platform_front, Car_cable_hitch_to_platform_rear, Car_cab_height, Car_cab_weight, Car_capacity, Car_capacity_range, Car_fixture_weight, Car_guiderail_vertical_force, Car_guiderail_vertical_force_maximum, Car_intercom_spec, Car_lantern_spec, Car_misc_weight, Car_overtravel, Car_phone_spec, Car_position_indicator_spec, Car_return_left, Car_return_right, Car_runby, Car_speed, Car_supplement_weight, Car_weight, Compensation_cable_length, Compensation_cable_load_car_side_car_bottom, Compensation_cable_load_car_side_car_top, Compensation_cable_load_counterweight_side_car_bottom, Compensation_cable_load_counterweight_side_car_top, Compensation_cable_quantity, Compensation_cable_unit_weight_optimal, Control_cable_load_average, Control_cable_load_car_side_car_bottom, Control_cable_load_car_side_car_top, Control_cable_loop_below_car_bottom, Counterweight_above_top_car_bottom, Counterweight_between_guiderails_value, Counterweight_bottom_reference, Counterweight_buffer_blocking_height, Counterweight_buffer_footing_channel_height, Counterweight_buffer_load, Counterweight_buffer_quantity, Counterweight_frame_a, Counterweight_frame_b, Counterweight_frame_height, Counterweight_frame_height_s, Counterweight_frame_thickness, Counterweight_frame_weight, Counterweight_frame_weight_s, Counterweight_overtravel, Counterweight_plate_depth, Counterweight_plate_quantity, Counterweight_plate_thickness, Counterweight_plate_weight, Counterweight_runby, Counterweight_space, Counterweight_stack_height, Counterweight_stack_weight, Counterweight_stack_weight_desired, Counterweight_system_weight, Counterweight_to_hoistway_rear, Counterweight_to_platform_rear, Counterweight_u_bracket_protrusion, Counterweight_weight, Counterweight_weight_desired, Counterwtplatformwt, Crosshead_bending_moment, Crosshead_deflection_index, Deflector_sheave_diameter, Deflector_sheave_protrusion, Door_opening_strike_side, Door_opening_strike_side_spec, Door_opening_type, Door_opening_type_s, Door_operator_header_weight, Door_operator_weight, Door_space, Door_speed, Door_speed_code, Governor_cable_length, Hoistway_bracket_spacing, Hoistway_depth, Hoistway_floor_height, Hoistway_overhead, Hoistway_pit_depth, Hoistway_top_landing_to_underside_machine_beam, Hoistway_travel, Hoistway_width, Hoist_cable_above_counterweight_car_bottom, Hoist_cable_length, Hoist_cable_load_car_side_car_bottom, Hoist_cable_load_car_side_car_top, Hoist_cable_load_counterweight_side_car_bottom, Hoist_cable_load_counterweight_side_car_top, Hoist_cable_quantity, Hoist_cable_safety_factor, Hoist_cable_safety_factor_minimum, Hoist_cable_traction_factor, Hoist_cable_traction_ratio, Hoist_cable_traction_ratio_car_bottom_empty, Hoist_cable_traction_ratio_car_bottom_full, Hoist_cable_traction_ratio_car_top_empty, Hoist_cable_traction_ratio_car_top_full, Machine_acceleration_maximum, Machine_angle_of_contact, Machine_beam_bearing_plate_thickness, Machine_beam_bending_moment_left_maximum, Machine_beam_bending_moment_right_maximum, Machine_beam_center_to_machine_sheave_center, Machine_beam_impact_load_left, Machine_beam_impact_load_right, Machine_beam_impact_load_total, Machine_beam_length, Machine_beam_load_front_left, Machine_beam_load_front_right, Machine_beam_load_rear_left, Machine_beam_load_rear_right, Machine_beam_reaction_front_left, Machine_beam_reaction_front_right, Machine_beam_reaction_rear_left, Machine_beam_reaction_rear_right, Machine_beam_safety_factor, Machine_beam_section_modulus_left_minimum, Machine_beam_section_modulus_right_minimum, Machine_beam_support_bottom_to_machine_room_top, Machine_beam_support_bottom_to_machine_room_top_spec, Machine_beam_support_distance, Machine_beam_support_front_to_hoistway, Machine_beam_support_to_machine_beam_center, Machine_beam_support_type, Machine_beam_total_load_left, Machine_beam_total_load_right, Machine_beam_weight, Machine_efficiency, Machine_gear_ratio_numeric, Machine_groove_pressure, Machine_groove_pressure_acceptable_maximum, Machine_groove_pressure_constant, Machine_sheave_center_to_front_machine_beam_support, Machine_sheave_height, Machine_sheave_to_deflector_sheave, Machine_sheave_to_deflector_sheave_diagonal, Machine_sheave_to_deflector_sheave_horizontal, Machine_suspended_load, Machine_total_weight, Maxacceptablecarbuffstroke, Minacceptablembeammodulus, Minacceptableopeningw, Motor_current_supported_maximum, Motor_horsepower_required, Motor_peak_current_required, Motor_torque_releveling, Opening_count, Opening_height, Opening_to_hoistway_left, Opening_to_hoistway_right, Opening_width_building, Opening_width_door, Platform_depth, Platform_depth_spec, Platform_running_clearance, Platform_to_hoistway_front, Platform_to_hoistway_left, Platform_to_hoistway_right, Platform_weight, Platform_weight_factor_ap, Platform_weight_factor_s, Platform_weight_factor_x, Platform_weight_factor_z, Platform_width, Platform_width_f, Safety_beam_bending_moment, Safety_beam_between_guiderails, Safety_beam_bg, Safety_beam_load, Safety_beam_weight, Sling_stile_length, Sling_underbeam, Sling_underbeam_space, Sling_weight

Has-Subpart-Slot:

Elevator.car, Elevator.carbuffer, Elevator.carguiderail, Elevator.compensationcable, Elevator.controlcable, Elevator.counterweightbg, Elevator.counterwtbuffer, Elevator.counterwtguard, Elevator.counterwtguiderail, Elevator.crosshead, Elevator.deflectorsheave, Elevator.door, Elevator.governor, Elevator.governorcable, Elevator.hoistcable, Elevator.intercom, Elevator.lantern, Elevator.machine, Elevator.mbeam, Elevator.motgenerator, Elevator.motor, Elevator.msheavegroove, Elevator.phone, Elevator.platform, Elevator.positionind, Elevator.safety, Elevator.sling

Inherited-Slot-Value:

Elevator.car, Elevator.carbuffer, Elevator.carguiderail, Elevator.compensationcable, Elevator.controlcable, Elevator.counterweightbg, Elevator.counterwtbuffer, Elevator.counterwtguard, Elevator.counterwtguiderail, Elevator.crosshead, Elevator.deflectorsheave, Elevator.door, Elevator.governor, Elevator.governorcable, Elevator.hoistcable, Elevator.intercom, Elevator.lantern, Elevator.machine, Elevator.mbeam, Elevator.motgenerator, Elevator.motor, Elevator.msheavegroove, Elevator.phone, Elevator.platform, Elevator.positionind, Elevator.safety, Elevator.sling

---

Slots on instances of this class:

Cable_Load_Car_Side_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Cable_Load_Car_Side_Car_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Cable_Load_Counterweight_Side_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Cable_Load_Counterweight_Side_Car_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Cable_Load_Total_Car_Side_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Cable_Load_Unbalanced:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Carslingub:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Buffer_Blocking_Height:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Buffer_Compressed_Clearance:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Buffer_Load:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Buffer_Quantity:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Buffer_Striking_Speed_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Buffer_Striking_Speed_Minimum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Cable_Hitch_To_Counterweight_Cable_Hitch:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Cable_Hitch_To_Platform_Front:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Cable_Hitch_To_Platform_Rear:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Cab_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Cab_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Capacity:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Capacity_Range:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Fixture_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Guiderail_Vertical_Force:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Guiderail_Vertical_Force_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Intercom_Spec:

Slot-Cardinality: 1

Slot-Value-Type: String

Car_Lantern_Spec:

Slot-Cardinality: 1

Slot-Value-Type: String

Car_Misc_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Overtravel:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Phone_Spec:

Slot-Cardinality: 1

Slot-Value-Type: String

Car_Position_Indicator_Spec:

Slot-Cardinality: 1

Slot-Value-Type: String

Car_Return_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Return_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Runby:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Speed:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Supplement_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Compensation_Cable_Length:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Compensation_Cable_Load_Car_Side_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Compensation_Cable_Load_Car_Side_Car_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Compensation_Cable_Load_Counterweight_Side_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Compensation_Cable_Load_Counterweight_Side_Car_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Compensation_Cable_Quantity:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Compensation_Cable_Unit_Weight_Optimal:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Control_Cable_Load_Average:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Control_Cable_Load_Car_Side_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Control_Cable_Load_Car_Side_Car_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Control_Cable_Loop_Below_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Above_Top_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Between_Guiderails_Value:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Counterweight_Bottom_Reference:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Buffer_Blocking_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Buffer_Footing_Channel_Height: 1

Slot-Cardinality: 1

Slot-Value-Type: Integer

Counterweight_Buffer_Load:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Buffer_Quantity:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Counterweight_Frame_A:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_B:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_Height_S:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_Thickness: 31

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_Weight_S:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Overtravel:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Plate_Depth:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Plate_Quantity:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Counterweight_Plate_Thickness: 1

Slot-Cardinality: 1

Slot-Value-Type: Integer

Counterweight_Plate_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Runby:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Space:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Stack_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Stack_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Stack_Weight_Desired:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_System_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_To_Hoistway_Rear:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_To_Platform_Rear:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_U_Bracket_Protrusion: 0.75

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Weight_Desired:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterwtplatformwt:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Crosshead_Bending_Moment:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Crosshead_Deflection_Index:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Deflector_Sheave_Diameter:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Deflector_Sheave_Protrusion:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Door_Opening_Strike_Side:

Slot-Cardinality: 1

Slot-Value-Type: String

Door_Opening_Strike_Side_Spec:

Slot-Cardinality: 1

Slot-Value-Type: String

Door_Opening_Type:

Slot-Cardinality: 1

Slot-Value-Type: String

Door_Opening_Type_S:

Slot-Cardinality: 1

Slot-Value-Type: String

Door_Operator_Header_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Door_Operator_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Door_Space:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Door_Speed:

Slot-Cardinality: 1

Slot-Value-Type: String

Door_Speed_Code:

Slot-Cardinality: 1

Slot-Value-Type: String

Elevator.Car:

Slot-Cardinality: 1

Slot-Value-Type: Car

Elevator.Carbuffer:

Slot-Cardinality: 1

Slot-Value-Type: Car_buffer_model

Elevator.Carguiderail:

Slot-Cardinality: 1

Slot-Value-Type: Car_guiderail_model

Elevator.Compensationcable:

Slot-Cardinality: 1

Slot-Value-Type: Compensation_cable_model

Elevator.Controlcable:

Slot-Cardinality: 1

Slot-Value-Type: Control_cable_model

Elevator.Counterweightbg:

Slot-Cardinality: 1

Slot-Value-Type: Counterweight_between_guiderails_m

Elevator.Counterwtbuffer:

Slot-Cardinality: 1

Slot-Value-Type: Counterweight_buffer_model

Elevator.Counterwtguard:

Slot-Cardinality: 1

Slot-Value-Type: Counterweight_guard_required

Elevator.Counterwtguiderail:

Slot-Cardinality: 1

Slot-Value-Type: Counterweight_guiderail_model

Elevator.Crosshead:

Slot-Cardinality: 1

Slot-Value-Type: Crosshead_model

Elevator.Deflectorsheave:

Slot-Cardinality: 1

Slot-Value-Type: Deflector_sheave_model

Elevator.Door:

Slot-Cardinality: 1

Slot-Value-Type: Door_model

Elevator.Governor:

Slot-Cardinality: 1

Slot-Value-Type: Governor_model

Elevator.Governorcable:

Slot-Cardinality: 1

Slot-Value-Type: Governor_cable_model

Elevator.Hoistcable:

Slot-Cardinality: 1

Slot-Value-Type: Hoist_cable_model

Elevator.Intercom:

Slot-Cardinality: 1

Slot-Value-Type: Car_intercom

Elevator.Lantern:

Slot-Cardinality: 1

Slot-Value-Type: Car_lantern

Elevator.Machine:

Slot-Cardinality: 1

Slot-Value-Type: Machine_model

Elevator.Mbeam:

Slot-Cardinality: 1

Slot-Value-Type: Machine_beam_model

Elevator.Motgenerator:

Slot-Cardinality: 1

Slot-Value-Type: Motor_generator_model

Elevator.Motor:

Slot-Cardinality: 1

Slot-Value-Type: Motor

Elevator.Msheavegroove:

Slot-Cardinality: 1

Slot-Value-Type: Machine_groove_model

Elevator.Phone:

Slot-Cardinality: 1

Slot-Value-Type: Car_phone

Elevator.Platform:

Slot-Cardinality: 1

Slot-Value-Type: Platform_model

Elevator.Positionind:

Slot-Cardinality: 1

Slot-Value-Type: Car_position_indicator

Elevator.Safety:

Slot-Cardinality: 1

Slot-Value-Type: Safety_beam_model

Elevator.Sling:

Slot-Cardinality: 1

Slot-Value-Type: Sling_model

Governor_Cable_Length:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Has-Constraint:

C-11, C-13, C-14, C-15, C-16, C-17, C-18, C-19, C-2, C-20, C-21, C-22, C-23, C-24_1, C-24_2, C-25, C-26, C-27, C-28_1, C-28_2, C-28_3, C-29_1, C-29_2, C-30_1, C-30_2, C-31, C-32, C-33_1, C-33_2, C-34_1, C-34_2, C-34_3, C-34_4, C-35, C-36_1, C-36_2, C-36_3, C-37, C-38, C-44, C-45, C-46_1, C-46_2, C-46_3, C-46_4, C-47, C-48_1, C-48_2, C-49, C-4_1, C-4_2, C-50, C-5_1, C-5_2, C-5_3, C-6, C-8, C-9, Cable_load_total_car_side_car_bottom, Cable_load_total_car_side_car_top, Cable_load_total_car_side_maximum_c01, Cable_load_total_car_side_maximum_c02, Cable_load_total_counterweight_side_car_c1, Cable_load_total_counterweight_side_car_c2, Cable_load_unbalanced_c, Carbufferblockh_of_elevator_values, Carbuffer_cst7, Car_buffer_blocking_height_c, Car_buffer_striking_speed_maximum_c, Car_buffer_striking_speed_minimum_c, Car_buffer_stroke_c, Car_cable_hitch_offset_c01, Car_cable_hitch_offset_c02, Car_cable_hitch_offset_c03, Car_cable_hitch_to_counterweight_cable_hitch_c, Car_cable_hitch_to_platform_rear_c, Car_cab_weight_c, Car_capacity_c, Car_capacity_range_c, Car_cst5, Car_fixture_weight_c, Car_guiderail_vertical_force_c, Car_guiderail_vertical_force_maximum_c02, Car_guiderail_vertical_force_maximum_c03, Car_guiderail_vertical_force_maximum_c04, Car_guiderail_vertical_force_maximum_c05, Car_guiderail_vertical_force_maximum_c06, Car_guiderail_vertical_force_maximum_c07, Car_guiderail_vertical_force_maximum_c08, Car_guiderail_vertical_force_maximum_c09, Car_guiderail_vertical_force_maximum_c10, Car_guiderail_vertical_force_maximum_c11, Car_intercom_c01, Car_intercom_c02, Car_intercom_c03, Car_lantern_c01, Car_lantern_c02, Car_lantern_c03, Car_misc_weight_c, Car_phone_c01, Car_phone_c02, Car_phone_c03, Car_position_indicator_c01, Car_position_indicator_c02, Car_position_indicator_c03, Car_return_left_c04, Car_return_left_c05, Car_return_left_c06, Car_return_left_c07, Car_return_left_c08, Car_return_left_c09, Car_return_right_c, Car_runby_c, Car_speed_c, Car_weight_c, Compensation_cable_length_c01, Compensation_cable_length_c02, Compensation_cable_load_car_top, Compensation_cable_load_counterweight_side_car_bottom_c, Compensation_cable_load_counterweight_side_car_top_c, Compensation_cable_load_side_car_bottom, Compensation_cable_model_c01, Compensation_cable_model_c02, Compensation_cable_model_c03, Compensation_cable_model_c04, Compensation_cable_model_c05, Compensation_cable_quantity_c01, Compensation_cable_unit_weight_optimal_c, Control_cable_load_average_c, Control_cable_load_car_side_car_bottom_c, Control_cable_load_car_side_car_top_c, Control_cable_loop_below_car_bottom_c, Control_cable_model_c01, Control_cable_model_c02, Control_cable_model_c03, Counterweight_above_top_car_bottom_c, Counterweight_between_guiderails_possible_values, Counterweight_bottom_reference_c, Counterweight_buffer_load_c, Counterweight_frame_weight, Counterweight_frame_weight_calc, Counterweight_guard_required_c, Counterweight_guard_required_c2, Counterweight_guiderail_unit_weight_c, Counterweight_overtravel_c, Counterweight_plate_quantity_c02, Counterweight_plate_weight_c, Counterweight_runby_c, Counterweight_space_c, Counterweight_stack_height_c, Counterweight_stack_weight_c, Counterweight_stack_weight_desired_c, Counterweight_system_weight_c, Counterweight_to_hoistway_rear_c, Counterweight_to_platform_rear_c, Counterweight_weight_c, Counterweight_weight_desired_c, Crosshead_bending_moment_c, Crosshead_deflection_index_c, Crosshead_model_c01, Crosshead_model_c02, Crosshead_model_c03, Crosshead_model_c04, Crosshead_model_c05, Deflector_sheave_diameter_c, Deflector_sheave_diameter_minimum, Deflector_sheave_protrusion_c, Door_opening_strike_side_spec_c, Door_opening_type_c, Door_opening_type_c01, Door_opening_type_c02, Door_operator_header_weight_c, Door_operator_weight_c, Door_space_c01, Door_space_c02, Door_speed_c, Door_speed_c01, Door_speed_code_c02, Door_speed_code_c03, Governor_cable_length_c, Hoistcable_quantity, Hoistway_bracket_spacing_c, Hoistway_top_landing_to_underside_machine_beam_c, Hoist_cable_above_counterweight_car_bottom_c, Hoist_cable_length_c, Hoist_cable_load_car_side_car_bottom_c, Hoist_cable_load_car_side_car_top_c, Hoist_cable_load_counterweight_side_car_bottom_c, Hoist_cable_load_counterweight_side_car_top_c, Hoist_cable_safety_factor_c01, Hoist_cable_safety_factor_c02, Hoist_cable_safety_factor_c03, Hoist_cable_safety_factor_c04, Hoist_cable_safety_factor_c05, Hoist_cable_traction_factor_c, Hoist_cable_traction_ratio_c01, Hoist_cable_traction_ratio_c02, Hoist_cable_traction_ratio_c03, Hoist_cable_traction_ratio_c04, Hoist_cable_traction_ratio_car_bottom_empty_c, Hoist_cable_traction_ratio_car_bottom_full_c, Hoist_cable_traction_ratio_car_top_empty_c, Hoist_cable_traction_ratio_car_top_full_c, Machine_angle_of_contact_c, Machine_beam_bending_moment_left_maximum_c01, Machine_beam_bending_moment_left_maximum_c02, Machine_beam_bending_moment_right_maximum_c01, Machine_beam_bending_moment_right_maximum_c02, Machine_beam_center_to_machine_sheave_center_c, Machine_beam_impact_load_left_c, Machine_beam_impact_load_right_c, Machine_beam_impact_load_total_c, Machine_beam_length_c, Machine_beam_load_front_left_c, Machine_beam_load_front_right_c, Machine_beam_load_rear_left_c, Machine_beam_load_rear_right_c, Machine_beam_reaction_front_left_c, Machine_beam_reaction_front_right_c, Machine_beam_reaction_rear_left_c, Machine_beam_reaction_rear_right_c, Machine_beam_section_modulus_left_minimum_c, Machine_beam_section_modulus_right_minimum_c, Machine_beam_support_bottom_to_machine_room_top_c, Machine_beam_support_to_machine_beam_center_c, Machine_beam_support_type_c, Machine_beam_support_underside_to_machine_room_floor, Machine_beam_total_load_left_c, Machine_beam_total_load_right_c, Machine_beam_weight_c, Machine_efficiency_c02, Machine_efficiency_c03, Machine_efficiency_c04, Machine_efficiency_c05, Machine_efficiency_c06, Machine_efficiency_c07, Machine_efficiency_c08, Machine_efficiency_c09, Machine_efficiency_c10, Machine_efficiency_c11, Machine_efficiency_c12, Machine_efficiency_c13, Machine_efficiency_c14, Machine_efficiency_c15, Machine_efficiency_c16, Machine_efficiency_c17, Machine_efficiency_c18, Machine_efficiency_c19, Machine_efficiency_c20, Machine_efficiency_c21, Machine_gear_ratio_symbolic_c01, Machine_gear_ratio_symbolic_c02, Machine_gear_ratio_symbolic_c03, Machine_gear_ratio_symbolic_c04, Machine_gear_ratio_symbolic_c05, Machine_gear_ratio_symbolic_c06, Machine_gear_ratio_symbolic_c07, Machine_gear_ratio_symbolic_c08, Machine_gear_ratio_symbolic_c09, Machine_gear_ratio_symbolic_c10, Machine_gear_ratio_symbolic_c11, Machine_gear_ratio_symbolic_c12, Machine_gear_ratio_symbolic_c13, Machine_gear_ratio_symbolic_c14, Machine_gear_ratio_symbolic_c15, Machine_gear_ratio_symbolic_c16, Machine_gear_ratio_symbolic_c17, Machine_gear_ratio_symbolic_c18, Machine_gear_ratio_symbolic_c19, Machine_gear_ratio_symbolic_c20, Machine_groove_pressure_acceptable_maximum_c, Machine_groove_pressure_c, Machine_groove_pressure_constant_c01, Machine_groove_pressure_constant_c02, Machine_groove_pressure_constant_c03, Machine_groove_pressure_constant_c04, Machine_groove_pressure_constant_c05, Machine_groove_pressure_constant_c06, Machine_groove_pressure_constant_c07, Machine_groove_pressure_constant_c08, Machine_groove_pressure_constant_c09, Machine_groove_pressure_constant_c10, Machine_sheave_center_to_front_machine_beam_support_c, Machine_sheave_height_c, Machine_sheave_to_deflector_sheave_c, Machine_sheave_to_deflector_sheave_diagonal_c, Machine_sheave_to_deflector_sheave_horizontal_c, Machine_suspended_load_c, Machine_total_weight_c, Motorscompatible_machine18, Motorscompatible_machine28, Motorscompatible_machine58, Motor_horsepower_c, Motor_horsepower_required_c01, Motor_horsepower_required_c02, Motor_horsepower_required_c03, Motor_torque_releveling_c, Noofhoistcables_of_elevator_values, Onebuffer_whenless38, Opening_to_hoistway_right_c, Opening_width_c, Peakmcur_calc_10hp_1, Peakmcur_calc_10hp_2, Peakmcur_calc_10hp_3, Peakmcur_calc_15hp_1, Peakmcur_calc_15hp_2, Peakmcur_calc_15hp_3, Peakmcur_calc_20hp_1, Peakmcur_calc_20hp_2, Peakmcur_calc_25hp_1, Peakmcur_calc_25hp_2, Peakmcur_calc_25hp_3, Peakmcur_calc_30hp_1, Peakmcur_calc_30hp_2, Peakmcur_calc_40hp_1, Peakmcur_calc_40hp_2, Platform_depth_c, Platform_model_c01, Platform_model_c02, Platform_model_c03, Platform_model_c04, Platform_to_hoistway_front_c, Platform_to_hoistway_left_c, Platform_to_hoistway_right_c, Platform_weight_c01, Platform_weight_c02, Platform_weight_c03, Platform_weight_factor_ap_c01, Platform_weight_factor_ap_c02, Platform_weight_factor_ap_c03, Platform_weight_factor_ap_c04, Platform_weight_factor_ap_c05, Platform_weight_factor_ap_c06, Platform_weight_factor_ap_c07, Platform_weight_factor_ap_c08, Platform_weight_factor_ap_c09, Platform_weight_factor_ap_c11, Platform_weight_factor_s_c01, Platform_weight_factor_s_c02, Platform_weight_factor_s_c03, Platform_weight_factor_x_c01, Platform_weight_factor_x_c02, Platform_weight_factor_x_c03, Platform_weight_factor_x_c04, Platform_weight_factor_x_c05, Platform_weight_factor_z_c01, Platform_weight_factor_z_c02, Platform_weight_factor_z_c03, Platform_width_c01, Safety_beam_bending_moment_c, Safety_beam_between_guiderails_c, Safety_beam_load_c, Safety_beam_model_c01, Safety_beam_model_c02, Safety_beam_model_c03, Safety_beam_weight_c, Sling_stile_length_c, Sling_underbeam_c, Sling_weight_c

Has-Parameter-Slot:

Cable_load_car_side_car_bottom, Cable_load_car_side_car_top, Cable_load_counterweight_side_car_bottom, Cable_load_counterweight_side_car_top, Cable_load_total_car_side_maximum, Cable_load_unbalanced, Carslingub, Car_buffer_blocking_height, Car_buffer_compressed_clearance, Car_buffer_load, Car_buffer_quantity, Car_buffer_striking_speed_maximum, Car_buffer_striking_speed_minimum, Car_cable_hitch_to_counterweight_cable_hitch, Car_cable_hitch_to_platform_front, Car_cable_hitch_to_platform_rear, Car_cab_height, Car_cab_weight, Car_capacity, Car_capacity_range, Car_fixture_weight, Car_guiderail_vertical_force, Car_guiderail_vertical_force_maximum, Car_intercom_spec, Car_lantern_spec, Car_misc_weight, Car_overtravel, Car_phone_spec, Car_position_indicator_spec, Car_return_left, Car_return_right, Car_runby, Car_speed, Car_supplement_weight, Car_weight, Compensation_cable_length, Compensation_cable_load_car_side_car_bottom, Compensation_cable_load_car_side_car_top, Compensation_cable_load_counterweight_side_car_bottom, Compensation_cable_load_counterweight_side_car_top, Compensation_cable_quantity, Compensation_cable_unit_weight_optimal, Control_cable_load_average, Control_cable_load_car_side_car_bottom, Control_cable_load_car_side_car_top, Control_cable_loop_below_car_bottom, Counterweight_above_top_car_bottom, Counterweight_between_guiderails_value, Counterweight_bottom_reference, Counterweight_buffer_blocking_height, Counterweight_buffer_footing_channel_height, Counterweight_buffer_load, Counterweight_buffer_quantity, Counterweight_frame_a, Counterweight_frame_b, Counterweight_frame_height, Counterweight_frame_height_s, Counterweight_frame_thickness, Counterweight_frame_weight, Counterweight_frame_weight_s, Counterweight_overtravel, Counterweight_plate_depth, Counterweight_plate_quantity, Counterweight_plate_thickness, Counterweight_plate_weight, Counterweight_runby, Counterweight_space, Counterweight_stack_height, Counterweight_stack_weight, Counterweight_stack_weight_desired, Counterweight_system_weight, Counterweight_to_hoistway_rear, Counterweight_to_platform_rear, Counterweight_u_bracket_protrusion, Counterweight_weight, Counterweight_weight_desired, Counterwtplatformwt, Crosshead_bending_moment, Crosshead_deflection_index, Deflector_sheave_diameter, Deflector_sheave_protrusion, Door_opening_strike_side, Door_opening_strike_side_spec, Door_opening_type, Door_opening_type_s, Door_operator_header_weight, Door_operator_weight, Door_space, Door_speed, Door_speed_code, Governor_cable_length, Hoistway_bracket_spacing, Hoistway_depth, Hoistway_floor_height, Hoistway_overhead, Hoistway_pit_depth, Hoistway_top_landing_to_underside_machine_beam, Hoistway_travel, Hoistway_width, Hoist_cable_above_counterweight_car_bottom, Hoist_cable_length, Hoist_cable_load_car_side_car_bottom, Hoist_cable_load_car_side_car_top, Hoist_cable_load_counterweight_side_car_bottom, Hoist_cable_load_counterweight_side_car_top, Hoist_cable_quantity, Hoist_cable_safety_factor, Hoist_cable_safety_factor_minimum, Hoist_cable_traction_factor, Hoist_cable_traction_ratio, Hoist_cable_traction_ratio_car_bottom_empty, Hoist_cable_traction_ratio_car_bottom_full, Hoist_cable_traction_ratio_car_top_empty, Hoist_cable_traction_ratio_car_top_full, Machine_acceleration_maximum, Machine_angle_of_contact, Machine_beam_bearing_plate_thickness, Machine_beam_bending_moment_left_maximum, Machine_beam_bending_moment_right_maximum, Machine_beam_center_to_machine_sheave_center, Machine_beam_impact_load_left, Machine_beam_impact_load_right, Machine_beam_impact_load_total, Machine_beam_length, Machine_beam_load_front_left, Machine_beam_load_front_right, Machine_beam_load_rear_left, Machine_beam_load_rear_right, Machine_beam_reaction_front_left, Machine_beam_reaction_front_right, Machine_beam_reaction_rear_left, Machine_beam_reaction_rear_right, Machine_beam_safety_factor, Machine_beam_section_modulus_left_minimum, Machine_beam_section_modulus_right_minimum, Machine_beam_support_bottom_to_machine_room_top, Machine_beam_support_bottom_to_machine_room_top_spec, Machine_beam_support_distance, Machine_beam_support_front_to_hoistway, Machine_beam_support_to_machine_beam_center, Machine_beam_support_type, Machine_beam_total_load_left, Machine_beam_total_load_right, Machine_beam_weight, Machine_efficiency, Machine_gear_ratio_numeric, Machine_groove_pressure, Machine_groove_pressure_acceptable_maximum, Machine_groove_pressure_constant, Machine_sheave_center_to_front_machine_beam_support, Machine_sheave_height, Machine_sheave_to_deflector_sheave, Machine_sheave_to_deflector_sheave_diagonal, Machine_sheave_to_deflector_sheave_horizontal, Machine_suspended_load, Machine_total_weight, Maxacceptablecarbuffstroke, Minacceptablembeammodulus, Minacceptableopeningw, Motor_current_supported_maximum, Motor_horsepower_required, Motor_peak_current_required, Motor_torque_releveling, Opening_count, Opening_height, Opening_to_hoistway_left, Opening_to_hoistway_right, Opening_width_building, Opening_width_door, Platform_depth, Platform_depth_spec, Platform_running_clearance, Platform_to_hoistway_front, Platform_to_hoistway_left, Platform_to_hoistway_right, Platform_weight, Platform_weight_factor_ap, Platform_weight_factor_s, Platform_weight_factor_x, Platform_weight_factor_z, Platform_width, Platform_width_f, Safety_beam_bending_moment, Safety_beam_between_guiderails, Safety_beam_bg, Safety_beam_load, Safety_beam_weight, Sling_stile_length, Sling_underbeam, Sling_underbeam_space, Sling_weight

Has-Subpart-Slot:

Elevator.car, Elevator.carbuffer, Elevator.carguiderail, Elevator.compensationcable, Elevator.controlcable, Elevator.counterweightbg, Elevator.counterwtbuffer, Elevator.counterwtguard, Elevator.counterwtguiderail, Elevator.crosshead, Elevator.deflectorsheave, Elevator.door, Elevator.governor, Elevator.governorcable, Elevator.hoistcable, Elevator.intercom, Elevator.lantern, Elevator.machine, Elevator.mbeam, Elevator.motgenerator, Elevator.motor, Elevator.msheavegroove, Elevator.phone, Elevator.platform, Elevator.positionind, Elevator.safety, Elevator.sling

Hoistway_Bracket_Spacing:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoistway_Depth:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoistway_Floor_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoistway_Overhead:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoistway_Pit_Depth:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoistway_Top_Landing_To_Underside_Machine_Beam:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoistway_Travel:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoistway_Width:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Above_Counterweight_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Length:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Load_Car_Side_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Load_Car_Side_Car_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Load_Counterweight_Side_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Load_Counterweight_Side_Car_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Quantity:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Hoist_Cable_Safety_Factor:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Safety_Factor_Minimum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Traction_Factor:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Traction_Ratio:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Traction_Ratio_Car_Bottom_Empty:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Traction_Ratio_Car_Bottom_Full:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Traction_Ratio_Car_Top_Empty:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Traction_Ratio_Car_Top_Full:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Acceleration_Maximum: 4.25

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Angle_Of_Contact:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Bearing_Plate_Thickness: 1

Slot-Cardinality: 1

Slot-Value-Type: Integer

Machine_Beam_Bending_Moment_Left_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Bending_Moment_Right_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Center_To_Machine_Sheave_Center:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Impact_Load_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Impact_Load_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Impact_Load_Total:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Length:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Load_Front_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Load_Front_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Load_Rear_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Load_Rear_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Reaction_Front_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Reaction_Front_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Reaction_Rear_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Reaction_Rear_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Safety_Factor: 1.05

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Section_Modulus_Left_Minimum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Section_Modulus_Right_Minimum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Support_Bottom_To_Machine_Room_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Support_Bottom_To_Machine_Room_Top_Spec:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Support_Distance:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Support_Front_To_Hoistway:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Support_To_Machine_Beam_Center:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Support_Type:

Slot-Cardinality: 1

Slot-Value-Type: String

Machine_Beam_Total_Load_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Total_Load_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Efficiency:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Gear_Ratio_Numeric:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Groove_Pressure:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Groove_Pressure_Acceptable_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Groove_Pressure_Constant:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Sheave_Center_To_Front_Machine_Beam_Support:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Sheave_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Sheave_To_Deflector_Sheave:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Sheave_To_Deflector_Sheave_Diagonal:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Sheave_To_Deflector_Sheave_Horizontal:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Suspended_Load:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Total_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Maxacceptablecarbuffstroke:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Minacceptablembeammodulus:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Minacceptableopeningw:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Model-Id:

Slot-Cardinality: 1

Motor_Current_Supported_Maximum: 150

Slot-Cardinality: 1

Slot-Value-Type: Integer

Motor_Horsepower_Required:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Motor_Peak_Current_Required:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Motor_Torque_Releveling:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Opening_Count:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Opening_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Opening_To_Hoistway_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Opening_To_Hoistway_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Opening_Width_Building:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Opening_Width_Door:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Depth:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Depth_Spec:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Running_Clearance: 1.25

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_To_Hoistway_Front:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_To_Hoistway_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_To_Hoistway_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Weight_Factor_Ap:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Platform_Weight_Factor_S:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Platform_Weight_Factor_X:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Weight_Factor_Z:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Width:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Width_F:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Safety_Beam_Bending_Moment:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Safety_Beam_Between_Guiderails:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Safety_Beam_Bg:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Safety_Beam_Load:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Safety_Beam_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Sling_Stile_Length:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Sling_Underbeam:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Sling_Underbeam_Space:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Sling_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Other Related Axioms:

(<= (Platform_Running_Clearance $X 1.25) (Elevator $X))

(<= (Motor_Current_Supported_Maximum $X 150) (Elevator $X))

(<= (Machine_Beam_Safety_Factor $X 1.05) (Elevator $X))

(<= (Machine_Beam_Bearing_Plate_Thickness $X 1) (Elevator $X))

(<= (Machine_Acceleration_Maximum $X 4.25) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Sling) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Safety) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Positionind) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Platform) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Phone) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Msheavegroove) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Motor) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Motgenerator) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Mbeam) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Machine) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Lantern) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Intercom) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Hoistcable) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Governorcable) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Governor) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Door) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Deflectorsheave) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Crosshead) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Counterwtguiderail) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Counterwtguard) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Counterwtbuffer) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Counterweightbg) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Controlcable) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Compensationcable) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Carguiderail) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Carbuffer) (Elevator $X))

(<= (Has-Subpart-Slot $X Elevator.Car) (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Length_C) (Elevator $X))

(<= (Has-Constraint $X Sling_Weight_C) (Elevator $X))

(<= (Has-Constraint $X Sling_Underbeam_C) (Elevator $X))

(<= (Has-Constraint $X Sling_Stile_Length_C) (Elevator $X))

(<= (Has-Constraint $X Safety_Beam_Weight_C) (Elevator $X))

(<= (Has-Constraint $X Safety_Beam_Model_C03) (Elevator $X))

(<= (Has-Constraint $X Safety_Beam_Model_C02) (Elevator $X))

(<= (Has-Constraint $X Safety_Beam_Model_C01) (Elevator $X))

(<= (Has-Constraint $X Safety_Beam_Load_C) (Elevator $X))

(<= (Has-Constraint $X Safety_Beam_Between_Guiderails_C)
    (Elevator $X))

(<= (Has-Constraint $X Safety_Beam_Bending_Moment_C) (Elevator $X))

(<= (Has-Constraint $X Platform_Width_C01) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_Z_C03) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_Z_C02) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_Z_C01) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_X_C05) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_X_C04) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_X_C03) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_X_C02) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_X_C01) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_S_C03) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_S_C02) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_S_C01) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_Ap_C11) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_Ap_C09) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_Ap_C08) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_Ap_C07) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_Ap_C06) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_Ap_C05) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_Ap_C04) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_Ap_C03) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_Ap_C02) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_Factor_Ap_C01) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_C03) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_C02) (Elevator $X))

(<= (Has-Constraint $X Platform_Weight_C01) (Elevator $X))

(<= (Has-Constraint $X Platform_To_Hoistway_Right_C) (Elevator $X))

(<= (Has-Constraint $X Platform_To_Hoistway_Left_C) (Elevator $X))

(<= (Has-Constraint $X Platform_To_Hoistway_Front_C) (Elevator $X))

(<= (Has-Constraint $X Platform_Model_C04) (Elevator $X))

(<= (Has-Constraint $X Platform_Model_C03) (Elevator $X))

(<= (Has-Constraint $X Platform_Model_C02) (Elevator $X))

(<= (Has-Constraint $X Platform_Model_C01) (Elevator $X))

(<= (Has-Constraint $X Platform_Depth_C) (Elevator $X))

(<= (Has-Constraint $X Peakmcur_Calc_40hp_2) (Elevator $X))

(<= (Has-Constraint $X Peakmcur_Calc_40hp_1) (Elevator $X))

(<= (Has-Constraint $X Peakmcur_Calc_30hp_2) (Elevator $X))

(<= (Has-Constraint $X Peakmcur_Calc_30hp_1) (Elevator $X))

(<= (Has-Constraint $X Peakmcur_Calc_25hp_3) (Elevator $X))

(<= (Has-Constraint $X Peakmcur_Calc_25hp_2) (Elevator $X))

(<= (Has-Constraint $X Peakmcur_Calc_25hp_1) (Elevator $X))

(<= (Has-Constraint $X Peakmcur_Calc_20hp_2) (Elevator $X))

(<= (Has-Constraint $X Peakmcur_Calc_20hp_1) (Elevator $X))

(<= (Has-Constraint $X Peakmcur_Calc_15hp_3) (Elevator $X))

(<= (Has-Constraint $X Peakmcur_Calc_15hp_2) (Elevator $X))

(<= (Has-Constraint $X Peakmcur_Calc_15hp_1) (Elevator $X))

(<= (Has-Constraint $X Peakmcur_Calc_10hp_3) (Elevator $X))

(<= (Has-Constraint $X Peakmcur_Calc_10hp_2) (Elevator $X))

(<= (Has-Constraint $X Peakmcur_Calc_10hp_1) (Elevator $X))

(<= (Has-Constraint $X Opening_Width_C) (Elevator $X))

(<= (Has-Constraint $X Opening_To_Hoistway_Right_C) (Elevator $X))

(<= (Has-Constraint $X Onebuffer_Whenless38) (Elevator $X))

(<= (Has-Constraint $X Noofhoistcables_Of_Elevator_Values)
    (Elevator $X))

(<= (Has-Constraint $X Motorscompatible_Machine58) (Elevator $X))

(<= (Has-Constraint $X Motorscompatible_Machine28) (Elevator $X))

(<= (Has-Constraint $X Motorscompatible_Machine18) (Elevator $X))

(<= (Has-Constraint $X Motor_Torque_Releveling_C) (Elevator $X))

(<= (Has-Constraint $X Motor_Horsepower_Required_C03) (Elevator $X))

(<= (Has-Constraint $X Motor_Horsepower_Required_C02) (Elevator $X))

(<= (Has-Constraint $X Motor_Horsepower_Required_C01) (Elevator $X))

(<= (Has-Constraint $X Motor_Horsepower_C) (Elevator $X))

(<= (Has-Constraint $X Machine_Total_Weight_C) (Elevator $X))

(<= (Has-Constraint $X Machine_Suspended_Load_C) (Elevator $X))

(<= (Has-Constraint $X
                    Machine_Sheave_To_Deflector_Sheave_Horizontal_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Sheave_To_Deflector_Sheave_Diagonal_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Sheave_To_Deflector_Sheave_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Sheave_Height_C) (Elevator $X))

(<= (Has-Constraint 
        $X
        Machine_Sheave_Center_To_Front_Machine_Beam_Support_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Groove_Pressure_Constant_C10)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Groove_Pressure_Constant_C09)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Groove_Pressure_Constant_C08)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Groove_Pressure_Constant_C07)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Groove_Pressure_Constant_C06)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Groove_Pressure_Constant_C05)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Groove_Pressure_Constant_C04)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Groove_Pressure_Constant_C03)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Groove_Pressure_Constant_C02)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Groove_Pressure_Constant_C01)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Groove_Pressure_C) (Elevator $X))

(<= (Has-Constraint $X Machine_Groove_Pressure_Acceptable_Maximum_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C20)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C19)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C18)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C17)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C16)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C15)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C14)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C13)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C12)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C11)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C10)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C09)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C08)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C07)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C06)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C05)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C04)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C03)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C02)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Gear_Ratio_Symbolic_C01)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C21) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C20) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C19) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C18) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C17) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C16) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C15) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C14) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C13) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C12) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C11) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C10) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C09) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C08) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C07) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C06) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C05) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C04) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C03) (Elevator $X))

(<= (Has-Constraint $X Machine_Efficiency_C02) (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Weight_C) (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Total_Load_Right_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Total_Load_Left_C) (Elevator $X))

(<= (Has-Constraint 
        $X
        Machine_Beam_Support_Underside_To_Machine_Room_Floor)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Support_Type_C) (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Support_To_Machine_Beam_Center_C)
    (Elevator $X))

(<= (Has-Constraint $X
                    Machine_Beam_Support_Bottom_To_Machine_Room_Top_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Section_Modulus_Right_Minimum_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Section_Modulus_Left_Minimum_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Reaction_Rear_Right_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Reaction_Rear_Left_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Reaction_Front_Right_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Reaction_Front_Left_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Load_Rear_Right_C) (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Load_Rear_Left_C) (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Load_Front_Right_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Load_Front_Left_C) (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Impact_Load_Total_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Impact_Load_Right_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Impact_Load_Left_C)
    (Elevator $X))

(<= (Has-Constraint $X
                    Machine_Beam_Center_To_Machine_Sheave_Center_C)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Bending_Moment_Right_Maximum_C02)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Bending_Moment_Right_Maximum_C01)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Bending_Moment_Left_Maximum_C02)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Beam_Bending_Moment_Left_Maximum_C01)
    (Elevator $X))

(<= (Has-Constraint $X Machine_Angle_Of_Contact_C) (Elevator $X))

(<= (Has-Constraint $X
                    Hoistway_Top_Landing_To_Underside_Machine_Beam_C)
    (Elevator $X))

(<= (Has-Constraint $X Hoistway_Bracket_Spacing_C) (Elevator $X))

(<= (Has-Constraint $X Hoistcable_Quantity) (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Traction_Ratio_Car_Top_Full_C)
    (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Traction_Ratio_Car_Top_Empty_C)
    (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Traction_Ratio_Car_Bottom_Full_C)
    (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Traction_Ratio_Car_Bottom_Empty_C)
    (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Traction_Ratio_C04) (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Traction_Ratio_C03) (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Traction_Ratio_C02) (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Traction_Ratio_C01) (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Traction_Factor_C) (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Safety_Factor_C05) (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Safety_Factor_C04) (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Safety_Factor_C03) (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Safety_Factor_C02) (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Safety_Factor_C01) (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Load_Counterweight_Side_Car_Top_C)
    (Elevator $X))

(<= (Has-Constraint $X
                    Hoist_Cable_Load_Counterweight_Side_Car_Bottom_C)
    (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Load_Car_Side_Car_Top_C)
    (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Load_Car_Side_Car_Bottom_C)
    (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Length_C) (Elevator $X))

(<= (Has-Constraint $X Hoist_Cable_Above_Counterweight_Car_Bottom_C)
    (Elevator $X))

(<= (Has-Constraint $X Governor_Cable_Length_C) (Elevator $X))

(<= (Has-Constraint $X Door_Speed_Code_C03) (Elevator $X))

(<= (Has-Constraint $X Door_Speed_Code_C02) (Elevator $X))

(<= (Has-Constraint $X Door_Speed_C) (Elevator $X))

(<= (Has-Constraint $X Door_Space_C02) (Elevator $X))

(<= (Has-Constraint $X Door_Space_C01) (Elevator $X))

(<= (Has-Constraint $X Door_Operator_Weight_C) (Elevator $X))

(<= (Has-Constraint $X Door_Operator_Header_Weight_C) (Elevator $X))

(<= (Has-Constraint $X Door_Opening_Type_C02) (Elevator $X))

(<= (Has-Constraint $X Door_Opening_Type_C01) (Elevator $X))

(<= (Has-Constraint $X Door_Opening_Type_C) (Elevator $X))

(<= (Has-Constraint $X Door_Opening_Strike_Side_Spec_C)
    (Elevator $X))

(<= (Has-Constraint $X Deflector_Sheave_Protrusion_C) (Elevator $X))

(<= (Has-Constraint $X Deflector_Sheave_Diameter_Minimum)
    (Elevator $X))

(<= (Has-Constraint $X Deflector_Sheave_Diameter_C) (Elevator $X))

(<= (Has-Constraint $X Crosshead_Model_C05) (Elevator $X))

(<= (Has-Constraint $X Crosshead_Model_C04) (Elevator $X))

(<= (Has-Constraint $X Crosshead_Model_C03) (Elevator $X))

(<= (Has-Constraint $X Crosshead_Model_C02) (Elevator $X))

(<= (Has-Constraint $X Crosshead_Model_C01) (Elevator $X))

(<= (Has-Constraint $X Crosshead_Deflection_Index_C) (Elevator $X))

(<= (Has-Constraint $X Crosshead_Bending_Moment_C) (Elevator $X))

(<= (Has-Constraint $X Counterweight_Weight_Desired_C) (Elevator $X))

(<= (Has-Constraint $X Counterweight_Weight_C) (Elevator $X))

(<= (Has-Constraint $X Counterweight_To_Platform_Rear_C)
    (Elevator $X))

(<= (Has-Constraint $X Counterweight_To_Hoistway_Rear_C)
    (Elevator $X))

(<= (Has-Constraint $X Counterweight_System_Weight_C) (Elevator $X))

(<= (Has-Constraint $X Counterweight_Stack_Weight_Desired_C)
    (Elevator $X))

(<= (Has-Constraint $X Counterweight_Stack_Weight_C) (Elevator $X))

(<= (Has-Constraint $X Counterweight_Stack_Height_C) (Elevator $X))

(<= (Has-Constraint $X Counterweight_Space_C) (Elevator $X))

(<= (Has-Constraint $X Counterweight_Runby_C) (Elevator $X))

(<= (Has-Constraint $X Counterweight_Plate_Weight_C) (Elevator $X))

(<= (Has-Constraint $X Counterweight_Plate_Quantity_C02)
    (Elevator $X))

(<= (Has-Constraint $X Counterweight_Overtravel_C) (Elevator $X))

(<= (Has-Constraint $X Counterweight_Guiderail_Unit_Weight_C)
    (Elevator $X))

(<= (Has-Constraint $X Counterweight_Guard_Required_C2)
    (Elevator $X))

(<= (Has-Constraint $X Counterweight_Guard_Required_C) (Elevator $X))

(<= (Has-Constraint $X Counterweight_Frame_Weight) (Elevator $X))

(<= (Has-Constraint $X Counterweight_Buffer_Load_C) (Elevator $X))

(<= (Has-Constraint $X Counterweight_Bottom_Reference_C)
    (Elevator $X))

(<= (Has-Constraint $X
                    Counterweight_Between_Guiderails_Possible_Values)
    (Elevator $X))

(<= (Has-Constraint $X Counterweight_Above_Top_Car_Bottom_C)
    (Elevator $X))

(<= (Has-Constraint $X Control_Cable_Model_C03) (Elevator $X))

(<= (Has-Constraint $X Control_Cable_Model_C02) (Elevator $X))

(<= (Has-Constraint $X Control_Cable_Model_C01) (Elevator $X))

(<= (Has-Constraint $X Control_Cable_Loop_Below_Car_Bottom_C)
    (Elevator $X))

(<= (Has-Constraint $X Control_Cable_Load_Car_Side_Car_Top_C)
    (Elevator $X))

(<= (Has-Constraint $X Control_Cable_Load_Car_Side_Car_Bottom_C)
    (Elevator $X))

(<= (Has-Constraint $X Control_Cable_Load_Average_C) (Elevator $X))

(<= (Has-Constraint $X Compensation_Cable_Unit_Weight_Optimal_C)
    (Elevator $X))

(<= (Has-Constraint $X Compensation_Cable_Quantity_C01)
    (Elevator $X))

(<= (Has-Constraint $X Compensation_Cable_Model_C05) (Elevator $X))

(<= (Has-Constraint $X Compensation_Cable_Model_C04) (Elevator $X))

(<= (Has-Constraint $X Compensation_Cable_Model_C03) (Elevator $X))

(<= (Has-Constraint $X Compensation_Cable_Model_C02) (Elevator $X))

(<= (Has-Constraint $X Compensation_Cable_Model_C01) (Elevator $X))

(<= (Has-Constraint $X Compensation_Cable_Load_Side_Car_Bottom)
    (Elevator $X))

(<= (Has-Constraint 
        $X
        Compensation_Cable_Load_Counterweight_Side_Car_Top_C)
    (Elevator $X))

(<= (Has-Constraint 
        $X
        Compensation_Cable_Load_Counterweight_Side_Car_Bottom_C)
    (Elevator $X))

(<= (Has-Constraint $X Compensation_Cable_Load_Car_Top)
    (Elevator $X))

(<= (Has-Constraint $X Compensation_Cable_Length_C02) (Elevator $X))

(<= (Has-Constraint $X Compensation_Cable_Length_C01) (Elevator $X))

(<= (Has-Constraint $X Carbufferblockh_Of_Elevator_Values)
    (Elevator $X))

(<= (Has-Constraint $X Carbuffer_Cst7) (Elevator $X))

(<= (Has-Constraint $X Car_Weight_C) (Elevator $X))

(<= (Has-Constraint $X Car_Speed_C) (Elevator $X))

(<= (Has-Constraint $X Car_Runby_C) (Elevator $X))

(<= (Has-Constraint $X Car_Return_Right_C) (Elevator $X))

(<= (Has-Constraint $X Car_Return_Left_C09) (Elevator $X))

(<= (Has-Constraint $X Car_Return_Left_C08) (Elevator $X))

(<= (Has-Constraint $X Car_Return_Left_C07) (Elevator $X))

(<= (Has-Constraint $X Car_Return_Left_C06) (Elevator $X))

(<= (Has-Constraint $X Car_Return_Left_C05) (Elevator $X))

(<= (Has-Constraint $X Car_Return_Left_C04) (Elevator $X))

(<= (Has-Constraint $X Car_Position_Indicator_C03) (Elevator $X))

(<= (Has-Constraint $X Car_Position_Indicator_C02) (Elevator $X))

(<= (Has-Constraint $X Car_Position_Indicator_C01) (Elevator $X))

(<= (Has-Constraint $X Car_Phone_C03) (Elevator $X))

(<= (Has-Constraint $X Car_Phone_C02) (Elevator $X))

(<= (Has-Constraint $X Car_Phone_C01) (Elevator $X))

(<= (Has-Constraint $X Car_Misc_Weight_C) (Elevator $X))

(<= (Has-Constraint $X Car_Lantern_C03) (Elevator $X))

(<= (Has-Constraint $X Car_Lantern_C02) (Elevator $X))

(<= (Has-Constraint $X Car_Lantern_C01) (Elevator $X))

(<= (Has-Constraint $X Car_Intercom_C03) (Elevator $X))

(<= (Has-Constraint $X Car_Intercom_C02) (Elevator $X))

(<= (Has-Constraint $X Car_Intercom_C01) (Elevator $X))

(<= (Has-Constraint $X Car_Guiderail_Vertical_Force_Maximum_C11)
    (Elevator $X))

(<= (Has-Constraint $X Car_Guiderail_Vertical_Force_Maximum_C10)
    (Elevator $X))

(<= (Has-Constraint $X Car_Guiderail_Vertical_Force_Maximum_C09)
    (Elevator $X))

(<= (Has-Constraint $X Car_Guiderail_Vertical_Force_Maximum_C08)
    (Elevator $X))

(<= (Has-Constraint $X Car_Guiderail_Vertical_Force_Maximum_C07)
    (Elevator $X))

(<= (Has-Constraint $X Car_Guiderail_Vertical_Force_Maximum_C06)
    (Elevator $X))

(<= (Has-Constraint $X Car_Guiderail_Vertical_Force_Maximum_C05)
    (Elevator $X))

(<= (Has-Constraint $X Car_Guiderail_Vertical_Force_Maximum_C04)
    (Elevator $X))

(<= (Has-Constraint $X Car_Guiderail_Vertical_Force_Maximum_C03)
    (Elevator $X))

(<= (Has-Constraint $X Car_Guiderail_Vertical_Force_Maximum_C02)
    (Elevator $X))

(<= (Has-Constraint $X Car_Guiderail_Vertical_Force_C) (Elevator $X))

(<= (Has-Constraint $X Car_Fixture_Weight_C) (Elevator $X))

(<= (Has-Constraint $X Car_Cst5) (Elevator $X))

(<= (Has-Constraint $X Car_Capacity_Range_C) (Elevator $X))

(<= (Has-Constraint $X Car_Capacity_C) (Elevator $X))

(<= (Has-Constraint $X Car_Cable_Hitch_To_Platform_Rear_C)
    (Elevator $X))

(<= (Has-Constraint $X
                    Car_Cable_Hitch_To_Counterweight_Cable_Hitch_C)
    (Elevator $X))

(<= (Has-Constraint $X Car_Cable_Hitch_Offset_C03) (Elevator $X))

(<= (Has-Constraint $X Car_Cable_Hitch_Offset_C02) (Elevator $X))

(<= (Has-Constraint $X Car_Cable_Hitch_Offset_C01) (Elevator $X))

(<= (Has-Constraint $X Car_Cab_Weight_C) (Elevator $X))

(<= (Has-Constraint $X Car_Buffer_Stroke_C) (Elevator $X))

(<= (Has-Constraint $X Car_Buffer_Striking_Speed_Minimum_C)
    (Elevator $X))

(<= (Has-Constraint $X Car_Buffer_Striking_Speed_Maximum_C)
    (Elevator $X))

(<= (Has-Constraint $X Car_Buffer_Blocking_Height_C) (Elevator $X))

(<= (Has-Constraint $X Cable_Load_Unbalanced_C) (Elevator $X))

(<= (Has-Constraint $X Cable_Load_Total_Counterweight_Side_Car_C2)
    (Elevator $X))

(<= (Has-Constraint $X Cable_Load_Total_Counterweight_Side_Car_C1)
    (Elevator $X))

(<= (Has-Constraint $X Cable_Load_Total_Car_Side_Maximum_C02)
    (Elevator $X))

(<= (Has-Constraint $X Cable_Load_Total_Car_Side_Maximum_C01)
    (Elevator $X))

(<= (Has-Constraint $X Cable_Load_Total_Car_Side_Car_Top)
    (Elevator $X))

(<= (Has-Constraint $X Cable_Load_Total_Car_Side_Car_Bottom)
    (Elevator $X))

(<= (Has-Constraint $X C-9) (Elevator $X))

(<= (Has-Constraint $X C-8) (Elevator $X))

(<= (Has-Constraint $X C-6) (Elevator $X))

(<= (Has-Constraint $X C-5_3) (Elevator $X))

(<= (Has-Constraint $X C-5_2) (Elevator $X))

(<= (Has-Constraint $X C-5_1) (Elevator $X))

(<= (Has-Constraint $X C-50) (Elevator $X))

(<= (Has-Constraint $X C-4_2) (Elevator $X))

(<= (Has-Constraint $X C-4_1) (Elevator $X))

(<= (Has-Constraint $X C-49) (Elevator $X))

(<= (Has-Constraint $X C-48_2) (Elevator $X))

(<= (Has-Constraint $X C-48_1) (Elevator $X))

(<= (Has-Constraint $X C-47) (Elevator $X))

(<= (Has-Constraint $X C-46_4) (Elevator $X))

(<= (Has-Constraint $X C-46_3) (Elevator $X))

(<= (Has-Constraint $X C-46_2) (Elevator $X))

(<= (Has-Constraint $X C-46_1) (Elevator $X))

(<= (Has-Constraint $X C-45) (Elevator $X))

(<= (Has-Constraint $X C-44) (Elevator $X))

(<= (Has-Constraint $X C-38) (Elevator $X))

(<= (Has-Constraint $X C-37) (Elevator $X))

(<= (Has-Constraint $X C-36_3) (Elevator $X))

(<= (Has-Constraint $X C-36_2) (Elevator $X))

(<= (Has-Constraint $X C-36_1) (Elevator $X))

(<= (Has-Constraint $X C-35) (Elevator $X))

(<= (Has-Constraint $X C-34_4) (Elevator $X))

(<= (Has-Constraint $X C-34_3) (Elevator $X))

(<= (Has-Constraint $X C-34_2) (Elevator $X))

(<= (Has-Constraint $X C-34_1) (Elevator $X))

(<= (Has-Constraint $X C-33_2) (Elevator $X))

(<= (Has-Constraint $X C-33_1) (Elevator $X))

(<= (Has-Constraint $X C-32) (Elevator $X))

(<= (Has-Constraint $X C-31) (Elevator $X))

(<= (Has-Constraint $X C-30_2) (Elevator $X))

(<= (Has-Constraint $X C-30_1) (Elevator $X))

(<= (Has-Constraint $X C-29_2) (Elevator $X))

(<= (Has-Constraint $X C-29_1) (Elevator $X))

(<= (Has-Constraint $X C-28_3) (Elevator $X))

(<= (Has-Constraint $X C-28_2) (Elevator $X))

(<= (Has-Constraint $X C-28_1) (Elevator $X))

(<= (Has-Constraint $X C-27) (Elevator $X))

(<= (Has-Constraint $X C-26) (Elevator $X))

(<= (Has-Constraint $X C-25) (Elevator $X))

(<= (Has-Constraint $X C-24_2) (Elevator $X))

(<= (Has-Constraint $X C-24_1) (Elevator $X))

(<= (Has-Constraint $X C-23) (Elevator $X))

(<= (Has-Constraint $X C-22) (Elevator $X))

(<= (Has-Constraint $X C-21) (Elevator $X))

(<= (Has-Constraint $X C-20) (Elevator $X))

(<= (Has-Constraint $X C-2) (Elevator $X))

(<= (Has-Constraint $X C-19) (Elevator $X))

(<= (Has-Constraint $X C-18) (Elevator $X))

(<= (Has-Constraint $X C-17) (Elevator $X))

(<= (Has-Constraint $X C-16) (Elevator $X))

(<= (Has-Constraint $X C-15) (Elevator $X))

(<= (Has-Constraint $X C-14) (Elevator $X))

(<= (Has-Constraint $X C-13) (Elevator $X))

(<= (Has-Constraint $X C-11) (Elevator $X))

(<= (Has-Parameter-Slot $X Sling_Weight) (Elevator $X))

(<= (Has-Parameter-Slot $X Sling_Underbeam_Space) (Elevator $X))

(<= (Has-Parameter-Slot $X Sling_Underbeam) (Elevator $X))

(<= (Has-Parameter-Slot $X Sling_Stile_Length) (Elevator $X))

(<= (Has-Parameter-Slot $X Safety_Beam_Weight) (Elevator $X))

(<= (Has-Parameter-Slot $X Safety_Beam_Load) (Elevator $X))

(<= (Has-Parameter-Slot $X Safety_Beam_Bg) (Elevator $X))

(<= (Has-Parameter-Slot $X Safety_Beam_Between_Guiderails)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Safety_Beam_Bending_Moment) (Elevator $X))

(<= (Has-Parameter-Slot $X Platform_Width_F) (Elevator $X))

(<= (Has-Parameter-Slot $X Platform_Width) (Elevator $X))

(<= (Has-Parameter-Slot $X Platform_Weight_Factor_Z) (Elevator $X))

(<= (Has-Parameter-Slot $X Platform_Weight_Factor_X) (Elevator $X))

(<= (Has-Parameter-Slot $X Platform_Weight_Factor_S) (Elevator $X))

(<= (Has-Parameter-Slot $X Platform_Weight_Factor_Ap) (Elevator $X))

(<= (Has-Parameter-Slot $X Platform_Weight) (Elevator $X))

(<= (Has-Parameter-Slot $X Platform_To_Hoistway_Right) (Elevator $X))

(<= (Has-Parameter-Slot $X Platform_To_Hoistway_Left) (Elevator $X))

(<= (Has-Parameter-Slot $X Platform_To_Hoistway_Front) (Elevator $X))

(<= (Has-Parameter-Slot $X Platform_Running_Clearance) (Elevator $X))

(<= (Has-Parameter-Slot $X Platform_Depth_Spec) (Elevator $X))

(<= (Has-Parameter-Slot $X Platform_Depth) (Elevator $X))

(<= (Has-Parameter-Slot $X Opening_Width_Door) (Elevator $X))

(<= (Has-Parameter-Slot $X Opening_Width_Building) (Elevator $X))

(<= (Has-Parameter-Slot $X Opening_To_Hoistway_Right) (Elevator $X))

(<= (Has-Parameter-Slot $X Opening_To_Hoistway_Left) (Elevator $X))

(<= (Has-Parameter-Slot $X Opening_Height) (Elevator $X))

(<= (Has-Parameter-Slot $X Opening_Count) (Elevator $X))

(<= (Has-Parameter-Slot $X Motor_Torque_Releveling) (Elevator $X))

(<= (Has-Parameter-Slot $X Motor_Peak_Current_Required)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Motor_Horsepower_Required) (Elevator $X))

(<= (Has-Parameter-Slot $X Motor_Current_Supported_Maximum)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Minacceptableopeningw) (Elevator $X))

(<= (Has-Parameter-Slot $X Minacceptablembeammodulus) (Elevator $X))

(<= (Has-Parameter-Slot $X Maxacceptablecarbuffstroke) (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Total_Weight) (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Suspended_Load) (Elevator $X))

(<= (Has-Parameter-Slot $X
                        Machine_Sheave_To_Deflector_Sheave_Horizontal)
    (Elevator $X))

(<= (Has-Parameter-Slot $X
                        Machine_Sheave_To_Deflector_Sheave_Diagonal)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Sheave_To_Deflector_Sheave)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Sheave_Height) (Elevator $X))

(<= (Has-Parameter-Slot 
        $X
        Machine_Sheave_Center_To_Front_Machine_Beam_Support)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Groove_Pressure_Constant)
    (Elevator $X))

(<= (Has-Parameter-Slot $X
                        Machine_Groove_Pressure_Acceptable_Maximum)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Groove_Pressure) (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Gear_Ratio_Numeric) (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Efficiency) (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Weight) (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Total_Load_Right)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Total_Load_Left)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Support_Type) (Elevator $X))

(<= (Has-Parameter-Slot $X
                        Machine_Beam_Support_To_Machine_Beam_Center)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Support_Front_To_Hoistway)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Support_Distance)
    (Elevator $X))

(<= (Has-Parameter-Slot 
        $X
        Machine_Beam_Support_Bottom_To_Machine_Room_Top_Spec)
    (Elevator $X))

(<= (Has-Parameter-Slot 
        $X
        Machine_Beam_Support_Bottom_To_Machine_Room_Top)
    (Elevator $X))

(<= (Has-Parameter-Slot $X
                        Machine_Beam_Section_Modulus_Right_Minimum)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Section_Modulus_Left_Minimum)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Safety_Factor) (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Reaction_Rear_Right)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Reaction_Rear_Left)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Reaction_Front_Right)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Reaction_Front_Left)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Load_Rear_Right)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Load_Rear_Left)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Load_Front_Right)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Load_Front_Left)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Length) (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Impact_Load_Total)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Impact_Load_Right)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Impact_Load_Left)
    (Elevator $X))

(<= (Has-Parameter-Slot $X
                        Machine_Beam_Center_To_Machine_Sheave_Center)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Bending_Moment_Right_Maximum)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Bending_Moment_Left_Maximum)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Beam_Bearing_Plate_Thickness)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Angle_Of_Contact) (Elevator $X))

(<= (Has-Parameter-Slot $X Machine_Acceleration_Maximum)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Hoistway_Width) (Elevator $X))

(<= (Has-Parameter-Slot $X Hoistway_Travel) (Elevator $X))

(<= (Has-Parameter-Slot $X
                        Hoistway_Top_Landing_To_Underside_Machine_Beam)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Hoistway_Pit_Depth) (Elevator $X))

(<= (Has-Parameter-Slot $X Hoistway_Overhead) (Elevator $X))

(<= (Has-Parameter-Slot $X Hoistway_Floor_Height) (Elevator $X))

(<= (Has-Parameter-Slot $X Hoistway_Depth) (Elevator $X))

(<= (Has-Parameter-Slot $X Hoistway_Bracket_Spacing) (Elevator $X))

(<= (Has-Parameter-Slot $X Hoist_Cable_Traction_Ratio_Car_Top_Full)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Hoist_Cable_Traction_Ratio_Car_Top_Empty)
    (Elevator $X))

(<= (Has-Parameter-Slot $X
                        Hoist_Cable_Traction_Ratio_Car_Bottom_Full)
    (Elevator $X))

(<= (Has-Parameter-Slot $X
                        Hoist_Cable_Traction_Ratio_Car_Bottom_Empty)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Hoist_Cable_Traction_Ratio) (Elevator $X))

(<= (Has-Parameter-Slot $X Hoist_Cable_Traction_Factor)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Hoist_Cable_Safety_Factor_Minimum)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Hoist_Cable_Safety_Factor) (Elevator $X))

(<= (Has-Parameter-Slot $X Hoist_Cable_Quantity) (Elevator $X))

(<= (Has-Parameter-Slot $X
                        Hoist_Cable_Load_Counterweight_Side_Car_Top)
    (Elevator $X))

(<= (Has-Parameter-Slot $X
                        Hoist_Cable_Load_Counterweight_Side_Car_Bottom)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Hoist_Cable_Load_Car_Side_Car_Top)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Hoist_Cable_Load_Car_Side_Car_Bottom)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Hoist_Cable_Length) (Elevator $X))

(<= (Has-Parameter-Slot $X
                        Hoist_Cable_Above_Counterweight_Car_Bottom)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Governor_Cable_Length) (Elevator $X))

(<= (Has-Parameter-Slot $X Door_Speed_Code) (Elevator $X))

(<= (Has-Parameter-Slot $X Door_Speed) (Elevator $X))

(<= (Has-Parameter-Slot $X Door_Space) (Elevator $X))

(<= (Has-Parameter-Slot $X Door_Operator_Weight) (Elevator $X))

(<= (Has-Parameter-Slot $X Door_Operator_Header_Weight)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Door_Opening_Type_S) (Elevator $X))

(<= (Has-Parameter-Slot $X Door_Opening_Type) (Elevator $X))

(<= (Has-Parameter-Slot $X Door_Opening_Strike_Side_Spec)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Door_Opening_Strike_Side) (Elevator $X))

(<= (Has-Parameter-Slot $X Deflector_Sheave_Protrusion)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Deflector_Sheave_Diameter) (Elevator $X))

(<= (Has-Parameter-Slot $X Crosshead_Deflection_Index) (Elevator $X))

(<= (Has-Parameter-Slot $X Crosshead_Bending_Moment) (Elevator $X))

(<= (Has-Parameter-Slot $X Counterwtplatformwt) (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Weight_Desired)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Weight) (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_U_Bracket_Protrusion)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_To_Platform_Rear)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_To_Hoistway_Rear)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_System_Weight)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Stack_Weight_Desired)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Stack_Weight) (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Stack_Height) (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Space) (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Runby) (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Plate_Weight) (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Plate_Thickness)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Plate_Quantity)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Plate_Depth) (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Overtravel) (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Frame_Weight_S)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Frame_Weight) (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Frame_Thickness)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Frame_Height_S)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Frame_Height) (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Frame_B) (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Frame_A) (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Buffer_Quantity)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Buffer_Load) (Elevator $X))

(<= (Has-Parameter-Slot $X
                        Counterweight_Buffer_Footing_Channel_Height)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Buffer_Blocking_Height)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Bottom_Reference)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Between_Guiderails_Value)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Counterweight_Above_Top_Car_Bottom)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Control_Cable_Loop_Below_Car_Bottom)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Control_Cable_Load_Car_Side_Car_Top)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Control_Cable_Load_Car_Side_Car_Bottom)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Control_Cable_Load_Average) (Elevator $X))

(<= (Has-Parameter-Slot $X Compensation_Cable_Unit_Weight_Optimal)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Compensation_Cable_Quantity)
    (Elevator $X))

(<= (Has-Parameter-Slot 
        $X
        Compensation_Cable_Load_Counterweight_Side_Car_Top)
    (Elevator $X))

(<= (Has-Parameter-Slot 
        $X
        Compensation_Cable_Load_Counterweight_Side_Car_Bottom)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Compensation_Cable_Load_Car_Side_Car_Top)
    (Elevator $X))

(<= (Has-Parameter-Slot $X
                        Compensation_Cable_Load_Car_Side_Car_Bottom)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Compensation_Cable_Length) (Elevator $X))

(<= (Has-Parameter-Slot $X Carslingub) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Weight) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Supplement_Weight) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Speed) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Runby) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Return_Right) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Return_Left) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Position_Indicator_Spec)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Phone_Spec) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Overtravel) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Misc_Weight) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Lantern_Spec) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Intercom_Spec) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Guiderail_Vertical_Force_Maximum)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Guiderail_Vertical_Force)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Fixture_Weight) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Capacity_Range) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Capacity) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Cable_Hitch_To_Platform_Rear)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Cable_Hitch_To_Platform_Front)
    (Elevator $X))

(<= (Has-Parameter-Slot $X
                        Car_Cable_Hitch_To_Counterweight_Cable_Hitch)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Cab_Weight) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Cab_Height) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Buffer_Striking_Speed_Minimum)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Buffer_Striking_Speed_Maximum)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Buffer_Quantity) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Buffer_Load) (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Buffer_Compressed_Clearance)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Car_Buffer_Blocking_Height) (Elevator $X))

(<= (Has-Parameter-Slot $X Cable_Load_Unbalanced) (Elevator $X))

(<= (Has-Parameter-Slot $X Cable_Load_Total_Car_Side_Maximum)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Cable_Load_Counterweight_Side_Car_Top)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Cable_Load_Counterweight_Side_Car_Bottom)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Cable_Load_Car_Side_Car_Top)
    (Elevator $X))

(<= (Has-Parameter-Slot $X Cable_Load_Car_Side_Car_Bottom)
    (Elevator $X))

(<= (Counterweight_U_Bracket_Protrusion $X 0.75) (Elevator $X))

(<= (Counterweight_Plate_Thickness $X 1) (Elevator $X))

(<= (Counterweight_Frame_Thickness $X 31) (Elevator $X))

(<= (Counterweight_Buffer_Footing_Channel_Height $X 1) (Elevator $X))

(=> (Elevator.Car $X $Y) (Elevator $X))

(=> (Elevator.Carbuffer $X $Y) (Elevator $X))

(=> (Elevator.Carguiderail $X $Y) (Elevator $X))

(=> (Elevator.Compensationcable $X $Y) (Elevator $X))

(=> (Elevator.Controlcable $X $Y) (Elevator $X))

(=> (Elevator.Counterweightbg $X $Y) (Elevator $X))

(=> (Elevator.Counterwtbuffer $X $Y) (Elevator $X))

(=> (Elevator.Counterwtguard $X $Y) (Elevator $X))

(=> (Elevator.Counterwtguiderail $X $Y) (Elevator $X))

(=> (Elevator.Crosshead $X $Y) (Elevator $X))

(=> (Elevator.Deflectorsheave $X $Y) (Elevator $X))

(=> (Elevator.Door $X $Y) (Elevator $X))

(=> (Elevator.Governor $X $Y) (Elevator $X))

(=> (Elevator.Governorcable $X $Y) (Elevator $X))

(=> (Elevator.Hoistcable $X $Y) (Elevator $X))

(=> (Elevator.Intercom $X $Y) (Elevator $X))

(=> (Elevator.Lantern $X $Y) (Elevator $X))

(=> (Elevator.Machine $X $Y) (Elevator $X))

(=> (Elevator.Mbeam $X $Y) (Elevator $X))

(=> (Elevator.Motgenerator $X $Y) (Elevator $X))

(=> (Elevator.Motor $X $Y) (Elevator $X))

(=> (Elevator.Msheavegroove $X $Y) (Elevator $X))

(=> (Elevator.Phone $X $Y) (Elevator $X))

(=> (Elevator.Platform $X $Y) (Elevator $X))

(=> (Elevator.Positionind $X $Y) (Elevator $X))

(=> (Elevator.Safety $X $Y) (Elevator $X))

(=> (Elevator.Sling $X $Y) (Elevator $X))

Notes:

• Modification-By: Guus Schreiber: ;; MACHINE_BEAM_SAFETY_FACTOR = 1.05 (Sec. 5.13) ;; COUNTERWEIGHT_U_BRACKET_PROTRUSION = 0.75 (Sec. 4.4)

• Modification-By: Removed from has-constraint list, due to comment by Guus Schreiber:

  ;; BUG: redundant constraints ;; ;; The constraints: ;; car_return_left_c01 ;; car_return_left_c02 ;; car_return_left_c03 ;; are really subsumed by car_return_left_c0[4-9]

• Modification-By: As suggested by Guus Schreiber: COUNTERWEIGHT_BUFFER_HEIGHT was removed from elevator and every reference to (COUNTERWEIGHT_BUFFER_HEIGHT ?x) was replaced with (counterweight_buffer_height (elevator.counterweight ?x))

  nil