(define goal-list '(
"This_Output_Publish"
"Is_LAPPR_Selected"
"Is_ALT_Selected"
"Onside_FD_On"
"Is_LAPPR_Active"
"Is_ALTSEL_Active"
"Is_ALTSEL_Selected"
"Is_PITCH_Active"
"Is_ROLL_Selected"
"Is_VGA_Selected"
"Is_VGA_Active"
"When_Selected_Nav_Source_Changed"
"When_Selected_Nav_Frequency_Changed"
"Is_AP_Engaged"
"Is_Offside_VGA_Active"
"Is_Offside_LAPPR_Active"
"Is_Offside_VAPPR_Active"
"Is_FLC_Selected"
"Is_FLC_Active"
"Is_ALTSEL_Track"
"Is_HDG_Selected"
"Is_LGA_Active"
"Is_ROLL_Active"
"Is_NAV_Selected"
"Is_HDG_Active"
"Mode_Annunciations_On"
"Is_PITCH_Selected"
"Is_VS_Selected"
"Is_This_Side_Active"
"Is_ALT_Active"
"Is_VAPPR_Selected"
"Is_VAPPR_Active"
"Is_NAV_Active"
"Is_VS_Active"
"Is_LGA_Selected"
"Is_NAV_Track_Cond_Met"
"Is_ALTSEL_Capture_Cond_Met"
"Is_ALTSEL_Track_Cond_Met"
"Is_LAPPR_Track_Cond_Met"
"Is_VAPPR_Track_Cond_Met"
"VS_Pitch_Wheel_In_Motion"
"Overspeed"
"ALTSEL_Target_Altitude_Changed"
"Offside_Hdg_Selected"
"Offside_Nav_Selected"
"Offside_Nav_Active"
"Offside_FGS_Active"
"Offside_FD_On"
"Offside_Modes_On"
"Offside_Roll_Selected"
"Offside_Lappr_Selected"
"Offside_Altsel_Track"
"Offside_Vappr_Selected"
"Offside_Vappr_Active"
"Offside_Lappr_Active"
"Offside_Lga_Selected"
"Offside_Pitch_Selected"
"Offside_Vs_Selected"
"Offside_Flc_Selected"
"Offside_Alt_Selected"
"Offside_Altsel_Selected"
"Offside_Altsel_Active"
"Offside_Vga_Selected"
"m_Deactivate_LAPPR"
"m_When_Turn_Modes_On"
"m_Independent_Mode_Condition"
"m_When_LAPPR_Track_Cond_Met"
"m_When_LAPPR_Track_Cond_Met_Seen"
"m_No_Higher_Event_Than_LAPPR_Track_Cond_Met"
"m_When_VAPPR_Track_Cond_Met"
"m_When_VAPPR_Track_Cond_Met_Seen"
"m_No_Higher_Event_Than_VAPPR_Track_Cond_Met"
"m_Deselect_ALT"
"m_When_Turn_FD_Off"
"m_Deselect_NAV"
"m_Dearm_NAV"
"m_Deactivate_NAV"
"m_Select_ALTSEL"
"m_Capture_ALTSEL"
"m_Track_ALTSEL"
"m_When_GA_Switch_Pressed"
"m_When_GA_Switch_Pressed_Seen"
"m_No_Higher_Event_Than_GA_Switch_Pressed"
"m_When_SYNC_Switch_Pressed"
"m_When_SYNC_Switch_Pressed_Seen"
"m_No_Higher_Event_Than_SYNC_Switch_Pressed"
"m_When_Turn_FD_On"
"m_Select_VAPPR"
"m_Activate_VAPPR"
"m_Deselect_VAPPR"
"m_When_Vertical_Mode_Manually_Selected"
"m_Deselect_ALTSEL"
"m_Deactivate_ALTSEL"
"m_When_ALTSEL_Track_Cond_Met"
"m_When_ALTSEL_Track_Cond_Met_Seen"
"m_No_Higher_Event_Than_ALTSEL_Track_Cond_Met"
"m_When_ALTSEL_Capture_Cond_Met"
"m_When_ALTSEL_Capture_Cond_Met_Seen"
"m_No_Higher_Event_Than_ALTSEL_Capture_Cond_Met"
"m_When_NAV_Track_Cond_Met"
"m_When_NAV_Track_Cond_Met_Seen"
"m_No_Higher_Event_Than_NAV_Track_Cond_Met"
"m_When_Turn_Modes_Off"
"m_When_FLC_Activated"
"m_Select_VGA"
"m_Deselect_VGA"
"m_When_FD_Switch_Pressed"
"m_When_FD_Switch_Pressed_Seen"
"m_No_Higher_Event_Than_FD_Switch_Pressed"
"m_When_Transfer_Switch_Pressed"
"m_When_Transfer_Switch_Pressed_Seen"
"m_When_VGA_Activated"
"m_No_Higher_Event_Than_VS_Switch_Pressed"
"m_When_FLC_Switch_Pressed"
"m_When_FLC_Switch_Pressed_Seen"
"m_No_Higher_Event_Than_FLC_Switch_Pressed"
"m_When_ALT_Switch_Pressed"
"m_When_ALT_Switch_Pressed_Seen"
"m_No_Higher_Event_Than_ALT_Switch_Pressed"
"m_When_ALTSEL_Target_Altitude_Changed"
"m_When_ALTSEL_Target_Altitude_Changed_Seen"
"m_No_Higher_Event_Than_ALTSEL_Target_Altitude_Changed"
"m_When_APPR_Switch_Pressed"
"m_When_APPR_Switch_Pressed_Seen"
"m_No_Higher_Event_Than_APPR_Switch_Pressed"
"m_No_Higher_Event_Than_AP_Disconnect_Switch_Pressed"
"m_When_NAV_Switch_Pressed"
"m_When_NAV_Switch_Pressed_Seen"
"m_No_Higher_Event_Than_NAV_Switch_Pressed"
"m_When_HDG_Switch_Pressed"
"m_When_HDG_Switch_Pressed_Seen"
"m_Select_FLC"
"m_Deselect_FLC"
"m_When_Nonbasic_Lateral_Mode_Activated"
"m_When_LAPPR_Armed"
"m_When_LAPPR_Activated"
"m_Select_HDG"
"m_Deselect_HDG"
"m_When_LGA_Activated"
"m_Select_LAPPR"
"m_Activate_LAPPR"
"m_Deselect_LAPPR"
"m_Dearm_LAPPR"
"m_When_Lateral_Mode_Manually_Selected"
"m_Overspeed_Condition"
"m_When_Nonbasic_Vertical_Mode_Activated"
"m_Is_No_Nonbasic_Vertical_Mode_Active"
"m_When_Engage_AP"
"m_When_Disengage_AP"
"m_No_Higher_Event_Than_HDG_Switch_Pressed"
"m_When_VS_Pitch_Wheel_Rotated"
"m_When_VS_Pitch_Wheel_Rotated_Seen"
"m_No_Higher_Event_Than_VS_Pitch_Wheel_Rotated"
"m_When_VS_Switch_Pressed"
"m_When_VS_Switch_Pressed_Seen"
"m_When_ALTSEL_Activated"
"m_Select_LGA"
"m_When_HDG_Activated"
"m_Select_PITCH"
"m_Deselect_PITCH"
"m_When_VAPPR_Activated"
"m_When_Vertical_Mode_Changed"
"m_When_Lamp_Changed"
"m_When_Lateral_Mode_Changed"
"m_Select_VS"
"m_Deselect_VS"
"m_When_VS_Activated"
"m_When_ALT_Activated"
"m_When_Pilot_Flying_Transfer"
"m_Deactivate_VAPPR"
"m_Is_No_Nonbasic_Lateral_Mode_Active"
"m_Select_ROLL"
"m_Deselect_ROLL"
"m_Select_NAV"
"m_Activate_NAV"
"m_When_NAV_Armed"
"m_When_NAV_Activated"
"m_Deselect_LGA"
"m_No_Higher_Event_Than_Transfer_Switch_Pressed"
"m_When_AP_Engage_Switch_Pressed"
"m_When_AP_Engage_Switch_Pressed_Seen"
"m_No_Higher_Event_Than_AP_Engage_Switch_Pressed"
"m_When_AP_Disconnect_Switch_Pressed"
"m_When_AP_Disconnect_Switch_Pressed_Seen"
"m_Select_ALT"
))