Level 1: .OA_1.prev_Strength .Own_Alt_Rate_1 .Own_Alt_Rate_2 .Own_Alt_Rate_3 .Own_Alt_Rate_4 .Own_Alt_Rate_5 .Own_Alt_Rate_6 .OA_1.Strength .OA_1.Sense .OA_1.prev_Advisory .OA_1.prev_Sense .OA_1.prev_Track_Status .OA_1.Advisory .OA_1.Track_Status .prev_Composite_RA .Composite_RA .Composite_RA_Evaluated_Event 
Level 2: .OA_Evaluated_Event .Surveillance_Complete_Event .Effective_SL_Evaluated_Event .Climb_Inhibit .Descend_Inhibit .Increase_Climb_Inhibit .Increase_Descend_Inhibit .Descend_Inhibit_Evaluated_Event .Auto_SL_Evaluated_Event .Corrective_Climb_Evaluated_Event .Corrective_Descend_Evaluated_Event 
Level 3: .Radio_Altimeter_Status .Own_Alt_Radio_6 .Own_Alt_Radio_5 .Own_Alt_Radio_4 .Own_Alt_Radio_3 .Own_Alt_Radio_2 .Own_Alt_Radio_1 .Own_Tracked_Alt_6 .Own_Tracked_Alt_5 .Aircraft_Altitude_Limit_5 .Own_Tracked_Alt_4 .Aircraft_Altitude_Limit_4 .Own_Tracked_Alt_3 .Aircraft_Altitude_Limit_3 .Own_Tracked_Alt_2 .Aircraft_Altitude_Limit_2 .Own_Tracked_Alt_1 .Aircraft_Altitude_Limit_1 .Config_Climb_Inhibit .Increase_Climb_Inhibit_Discrete .Altitude_Climb_Inhib_Active .Own_Air_Status .prev1_Radio_Altimeter_Status .prev2_Radio_Altimeter_Status .prev3_Radio_Altimeter_Status .prev4_Radio_Altimeter_Status .prev5_Radio_Altimeter_Status .prev6_Radio_Altimeter_Status .prev7_Radio_Altimeter_Status .prev8_Radio_Altimeter_Status .prev9_Radio_Altimeter_Status .prev10_Radio_Altimeter_Status .prev_Ground_Level_6 .prev_Ground_Level_1 .prev_Ground_Level_2 .prev_Ground_Level_3 .prev_Ground_Level_4 .prev_Ground_Level_5 
Level 4: 
828b920: IMPLIES	828b910, 828b900
828b910: CONS	828b8c0, 828b8d0
828b8c0: CONS	827fda8, 0
827fda8: DOT	0, 827fd98
827fd98: ATOM	Own_Tracked_Alt_1, 0
828b8d0: CONS	0, 0
828b900: CONS	828b8e0, 828b8f0
828b8e0: CONS	0, 0
828b8f0: CONS	82227b0, 0
0 is not implemented

828b8a0: IMPLIES	828b890, 828b880
828b890: CONS	828b840, 828b850
828b840: CONS	827fd58, 0
827fd58: DOT	0, 827fd48
827fd48: ATOM	Own_Tracked_Alt_2, 0
828b850: CONS	0, 0
828b880: CONS	828b860, 828b870
828b860: CONS	0, 0
828b870: CONS	82227b0, 0
0 is not implemented

828b820: IMPLIES	828b810, 828b800
828b810: CONS	828b7c0, 828b7d0
828b7c0: CONS	827fd08, 0
827fd08: DOT	0, 827fcf8
827fcf8: ATOM	Own_Tracked_Alt_3, 0
828b7d0: CONS	0, 0
828b800: CONS	828b7e0, 828b7f0
828b7e0: CONS	0, 0
828b7f0: CONS	82227b0, 0
0 is not implemented

828b7a0: IMPLIES	828b790, 828b780
828b790: CONS	828b740, 828b750
828b740: CONS	827fcb8, 0
827fcb8: DOT	0, 827fca8
827fca8: ATOM	Own_Tracked_Alt_4, 0
828b750: CONS	0, 0
828b780: CONS	828b760, 828b770
828b760: CONS	0, 0
828b770: CONS	82227b0, 0
0 is not implemented

828b720: IMPLIES	828b710, 828b700
828b710: CONS	828b6c0, 828b6d0
828b6c0: CONS	827fc68, 0
827fc68: DOT	0, 827fc58
827fc58: ATOM	Own_Tracked_Alt_5, 0
828b6d0: CONS	0, 0
828b700: CONS	828b6e0, 828b6f0
828b6e0: CONS	0, 0
828b6f0: CONS	82227b0, 0
0 is not implemented

828b6a0: IMPLIES	828b690, 828b680
828b690: CONS	828b640, 828b650
828b640: CONS	827fc18, 0
827fc18: DOT	0, 827fc08
827fc08: ATOM	Own_Tracked_Alt_6, 0
828b650: CONS	0, 0
828b680: CONS	828b660, 828b670
828b660: CONS	0, 0
828b670: CONS	82227b0, 0
0 is not implemented

828b620: IMPLIES	828b610, 828b600
828b610: CONS	828b5c0, 828b5d0
828b5c0: CONS	827fba8, 0
827fba8: DOT	0, 827fb98
827fb98: ATOM	prev_Own_Tracked_Alt_1, 0
828b5d0: CONS	0, 0
828b600: CONS	828b5e0, 828b5f0
828b5e0: CONS	0, 0
828b5f0: CONS	82227b0, 0
0 is not implemented

828b5a0: IMPLIES	828b590, 828b580
828b590: CONS	828b540, 828b550
828b540: CONS	827fb58, 0
827fb58: DOT	0, 827fb48
827fb48: ATOM	prev_Own_Tracked_Alt_2, 0
828b550: CONS	0, 0
828b580: CONS	828b560, 828b570
828b560: CONS	0, 0
828b570: CONS	82227b0, 0
0 is not implemented

828b520: IMPLIES	828b510, 828b500
828b510: CONS	828b4c0, 828b4d0
828b4c0: CONS	827fb08, 0
827fb08: DOT	0, 827faf8
827faf8: ATOM	prev_Own_Tracked_Alt_3, 0
828b4d0: CONS	0, 0
828b500: CONS	828b4e0, 828b4f0
828b4e0: CONS	0, 0
828b4f0: CONS	82227b0, 0
0 is not implemented

828b4a0: IMPLIES	828b490, 828b480
828b490: CONS	828b440, 828b450
828b440: CONS	827fab8, 0
827fab8: DOT	0, 827faa8
827faa8: ATOM	prev_Own_Tracked_Alt_4, 0
828b450: CONS	0, 0
828b480: CONS	828b460, 828b470
828b460: CONS	0, 0
828b470: CONS	82227b0, 0
0 is not implemented

828b420: IMPLIES	828b410, 828b400
828b410: CONS	828b3c0, 828b3d0
828b3c0: CONS	827fa68, 0
827fa68: DOT	0, 827fa58
827fa58: ATOM	prev_Own_Tracked_Alt_5, 0
828b3d0: CONS	0, 0
828b400: CONS	828b3e0, 828b3f0
828b3e0: CONS	0, 0
828b3f0: CONS	82227b0, 0
0 is not implemented

828b3a0: IMPLIES	828b390, 828b380
828b390: CONS	828b340, 828b350
828b340: CONS	827fa18, 0
827fa18: DOT	0, 827fa08
827fa08: ATOM	prev_Own_Tracked_Alt_6, 0
828b350: CONS	0, 0
828b380: CONS	828b360, 828b370
828b360: CONS	0, 0
828b370: CONS	82227b0, 0
0 is not implemented

828b320: IMPLIES	828b310, 828b300
828b310: CONS	828b2c0, 828b2d0
828b2c0: CONS	827f9a8, 0
827f9a8: DOT	0, 827f998
827f998: ATOM	prev_Own_Tracked_Alt_Rate_1, 0
828b2d0: CONS	0, 0
828b300: CONS	828b2e0, 828b2f0
828b2e0: CONS	0, 0
828b2f0: CONS	82227b0, 0
0 is not implemented

828b2a0: IMPLIES	828b290, 828b280
828b290: CONS	828b240, 828b250
828b240: CONS	827f958, 0
827f958: DOT	0, 827f948
827f948: ATOM	prev_Own_Tracked_Alt_Rate_2, 0
828b250: CONS	0, 0
828b280: CONS	828b260, 828b270
828b260: CONS	0, 0
828b270: CONS	82227b0, 0
0 is not implemented

828b220: IMPLIES	828b210, 828b200
828b210: CONS	828b1c0, 828b1d0
828b1c0: CONS	827f908, 0
827f908: DOT	0, 827f8f8
827f8f8: ATOM	prev_Own_Tracked_Alt_Rate_3, 0
828b1d0: CONS	0, 0
828b200: CONS	828b1e0, 828b1f0
828b1e0: CONS	0, 0
828b1f0: CONS	82227b0, 0
0 is not implemented

828b1a0: IMPLIES	828b190, 828b180
828b190: CONS	828b140, 828b150
828b140: CONS	827f8b8, 0
827f8b8: DOT	0, 827f8a8
827f8a8: ATOM	prev_Own_Tracked_Alt_Rate_4, 0
828b150: CONS	0, 0
828b180: CONS	828b160, 828b170
828b160: CONS	0, 0
828b170: CONS	82227b0, 0
0 is not implemented

828b120: IMPLIES	828b110, 828b100
828b110: CONS	828b0c0, 828b0d0
828b0c0: CONS	827f868, 0
827f868: DOT	0, 827f858
827f858: ATOM	prev_Own_Tracked_Alt_Rate_5, 0
828b0d0: CONS	0, 0
828b100: CONS	828b0e0, 828b0f0
828b0e0: CONS	0, 0
828b0f0: CONS	82227b0, 0
0 is not implemented

828b0a0: IMPLIES	828b090, 828b080
828b090: CONS	828b040, 828b050
828b040: CONS	827f818, 0
827f818: DOT	0, 827f808
827f808: ATOM	prev_Own_Tracked_Alt_Rate_6, 0
828b050: CONS	0, 0
828b080: CONS	828b060, 828b070
828b060: CONS	0, 0
828b070: CONS	82227b0, 0
0 is not implemented

828b020: IMPLIES	828b010, 828b000
828b010: CONS	828afc0, 828afd0
828afc0: CONS	827f7a8, 0
827f7a8: DOT	0, 827f798
827f798: ATOM	prev_Ground_Level_1, 0
828afd0: CONS	0, 0
828b000: CONS	828afe0, 828aff0
828afe0: CONS	0, 0
828aff0: CONS	82227b0, 0
0 is not implemented

828afa0: IMPLIES	828af90, 828af80
828af90: CONS	828af40, 828af50
828af40: CONS	827f758, 0
827f758: DOT	0, 827f748
827f748: ATOM	prev_Ground_Level_2, 0
828af50: CONS	0, 0
828af80: CONS	828af60, 828af70
828af60: CONS	0, 0
828af70: CONS	82227b0, 0
0 is not implemented

828af20: IMPLIES	828af10, 828af00
828af10: CONS	828aec0, 828aed0
828aec0: CONS	827f708, 0
827f708: DOT	0, 827f6f8
827f6f8: ATOM	prev_Ground_Level_3, 0
828aed0: CONS	0, 0
828af00: CONS	828aee0, 828aef0
828aee0: CONS	0, 0
828aef0: CONS	82227b0, 0
0 is not implemented

828aea0: IMPLIES	828ae90, 828ae80
828ae90: CONS	828ae40, 828ae50
828ae40: CONS	827f6b8, 0
827f6b8: DOT	0, 827f6a8
827f6a8: ATOM	prev_Ground_Level_4, 0
828ae50: CONS	0, 0
828ae80: CONS	828ae60, 828ae70
828ae60: CONS	0, 0
828ae70: CONS	82227b0, 0
0 is not implemented

828ae20: IMPLIES	828ae10, 828ae00
828ae10: CONS	828adc0, 828add0
828adc0: CONS	827f668, 0
827f668: DOT	0, 827f658
827f658: ATOM	prev_Ground_Level_5, 0
828add0: CONS	0, 0
828ae00: CONS	828ade0, 828adf0
828ade0: CONS	0, 0
828adf0: CONS	82227b0, 0
0 is not implemented

828ada0: IMPLIES	828ad90, 828ad80
828ad90: CONS	828ad40, 828ad50
828ad40: CONS	827f618, 0
827f618: DOT	0, 827f608
827f608: ATOM	prev_Ground_Level_6, 0
828ad50: CONS	0, 0
828ad80: CONS	828ad60, 828ad70
828ad60: CONS	0, 0
828ad70: CONS	82227b0, 0
0 is not implemented

828ad20: IMPLIES	828ad10, 828ad00
828ad10: CONS	828acc0, 828acd0
828acc0: CONS	827f5a8, 0
827f5a8: DOT	0, 827f598
827f598: ATOM	prev_Displayed_Model_Goal_1, 0
828acd0: CONS	0, 0
828ad00: CONS	828ace0, 828acf0
828ace0: CONS	0, 0
828acf0: CONS	82227b0, 0
0 is not implemented

828aca0: IMPLIES	828ac90, 828ac80
828ac90: CONS	828ac40, 828ac50
828ac40: CONS	827f558, 0
827f558: DOT	0, 827f548
827f548: ATOM	prev_Displayed_Model_Goal_2, 0
828ac50: CONS	0, 0
828ac80: CONS	828ac60, 828ac70
828ac60: CONS	0, 0
828ac70: CONS	82227b0, 0
0 is not implemented

828ac20: IMPLIES	828ac10, 828ac00
828ac10: CONS	828abc0, 828abd0
828abc0: CONS	827f508, 0
827f508: DOT	0, 827f4f8
827f4f8: ATOM	prev_Displayed_Model_Goal_3, 0
828abd0: CONS	0, 0
828ac00: CONS	828abe0, 828abf0
828abe0: CONS	0, 0
828abf0: CONS	82227b0, 0
0 is not implemented

828aba0: IMPLIES	828ab90, 828ab80
828ab90: CONS	828ab40, 828ab50
828ab40: CONS	827f4b8, 0
827f4b8: DOT	0, 827f4a8
827f4a8: ATOM	prev_Displayed_Model_Goal_4, 0
828ab50: CONS	0, 0
828ab80: CONS	828ab60, 828ab70
828ab60: CONS	0, 0
828ab70: CONS	82227b0, 0
0 is not implemented

828ab20: IMPLIES	828ab10, 828ab00
828ab10: CONS	828aac0, 828aad0
828aac0: CONS	827f468, 0
827f468: DOT	0, 827f458
827f458: ATOM	prev_Displayed_Model_Goal_5, 0
828aad0: CONS	0, 0
828ab00: CONS	828aae0, 828aaf0
828aae0: CONS	0, 0
828aaf0: CONS	82227b0, 0
0 is not implemented

828aaa0: IMPLIES	828aa90, 828aa80
828aa90: CONS	828aa40, 828aa50
828aa40: CONS	827f418, 0
827f418: DOT	0, 827f408
827f408: ATOM	prev_Displayed_Model_Goal_6, 0
828aa50: CONS	0, 0
828aa80: CONS	828aa60, 828aa70
828aa60: CONS	0, 0
828aa70: CONS	82227b0, 0
0 is not implemented

828aa20: IMPLIES	828aa10, 828aa00
828aa10: CONS	828a9c0, 828a9d0
828a9c0: CONS	827f3a8, 0
827f3a8: DOT	0, 827f398
827f398: ATOM	prev_Descend_Strength, 0
828a9d0: CONS	0, 0
828aa00: CONS	828a9e0, 828a9f0
828a9e0: CONS	0, 0
828a9f0: CONS	82227b0, 0
0 is not implemented

828a9a0: IMPLIES	828a990, 828a980
828a990: CONS	828a940, 828a950
828a940: CONS	827f338, 0
827f338: DOT	0, 827f328
827f328: ATOM	prev_Climb_Strength, 0
828a950: CONS	0, 0
828a980: CONS	828a960, 828a970
828a960: CONS	0, 0
828a970: CONS	82227b0, 0
0 is not implemented

828a920: IMPLIES	828a910, 828a900
828a910: CONS	828a8c0, 828a8d0
828a8c0: CONS	827ee78, 0
827ee78: DOT	827cfc0, 827ee68
827cfc0: DOT	0, 827cfb0
827cfb0: ATOM	OA_1, 0
827ee68: ATOM	Threat_Crossing, 0
828a8d0: CONS	0, 0
828a900: CONS	828a8e0, 828a8f0
828a8e0: CONS	0, 0
828a8f0: CONS	82227b0, 0
0 is not implemented

828a8a0: IMPLIES	828a890, 828a880
828a890: CONS	828a840, 828a850
828a840: CONS	827ee28, 0
827ee28: DOT	827cfc0, 827ee18
827cfc0: DOT	0, 827cfb0
827cfb0: ATOM	OA_1, 0
827ee18: ATOM	Threat_Reversal, 0
828a850: CONS	0, 0
828a880: CONS	828a860, 828a870
828a860: CONS	0, 0
828a870: CONS	82227b0, 0
0 is not implemented

828a820: IMPLIES	828a810, 828a800
828a810: CONS	828a7c0, 828a7d0
828a7c0: CONS	827edd8, 0
827edd8: DOT	827cfc0, 827edc8
827cfc0: DOT	0, 827cfb0
827cfb0: ATOM	OA_1, 0
827edc8: ATOM	Altitude_Reporting, 0
828a7d0: CONS	0, 0
828a800: CONS	828a7e0, 828a7f0
828a7e0: CONS	0, 0
828a7f0: CONS	82227b0, 0
0 is not implemented

828a7a0: IMPLIES	828a790, 828a780
828a790: CONS	828a740, 828a750
828a740: CONS	827cf70, 0
827cf70: DOT	0, 826f4b8
826f4b8: ATOM	OA_Evaluated_Event, 0
828a750: CONS	0, 0
828a780: CONS	828a760, 828a770
828a760: CONS	0, 0
828a770: CONS	82227b0, 0
0 is not implemented

828a720: IMPLIES	828a710, 828a700
828a710: CONS	828a6c0, 828a6d0
828a6c0: CONS	827cf10, 0
827cf10: DOT	0, 827cf00
827cf00: ATOM	prev10_Radio_Altimeter_Status, 0
828a6d0: CONS	0, 0
828a700: CONS	828a6e0, 828a6f0
828a6e0: CONS	0, 0
828a6f0: CONS	82227b0, 0
0 is not implemented

828a6a0: IMPLIES	828a690, 828a680
828a690: CONS	828a640, 828a650
828a640: CONS	827cea0, 0
827cea0: DOT	0, 827ce90
827ce90: ATOM	prev9_Radio_Altimeter_Status, 0
828a650: CONS	0, 0
828a680: CONS	828a660, 828a670
828a660: CONS	0, 0
828a670: CONS	82227b0, 0
0 is not implemented

828a620: IMPLIES	828a610, 828a600
828a610: CONS	828a5c0, 828a5d0
828a5c0: CONS	827ce30, 0
827ce30: DOT	0, 827ce20
827ce20: ATOM	prev8_Radio_Altimeter_Status, 0
828a5d0: CONS	0, 0
828a600: CONS	828a5e0, 828a5f0
828a5e0: CONS	0, 0
828a5f0: CONS	82227b0, 0
0 is not implemented

828a5a0: IMPLIES	828a590, 828a580
828a590: CONS	828a540, 828a550
828a540: CONS	827cdc0, 0
827cdc0: DOT	0, 827cdb0
827cdb0: ATOM	prev7_Radio_Altimeter_Status, 0
828a550: CONS	0, 0
828a580: CONS	828a560, 828a570
828a560: CONS	0, 0
828a570: CONS	82227b0, 0
0 is not implemented

828a520: IMPLIES	828a510, 828a500
828a510: CONS	828a4c0, 828a4d0
828a4c0: CONS	827cd50, 0
827cd50: DOT	0, 827cd40
827cd40: ATOM	prev6_Radio_Altimeter_Status, 0
828a4d0: CONS	0, 0
828a500: CONS	828a4e0, 828a4f0
828a4e0: CONS	0, 0
828a4f0: CONS	82227b0, 0
0 is not implemented

828a4a0: IMPLIES	828a490, 828a480
828a490: CONS	828a440, 828a450
828a440: CONS	827cce0, 0
827cce0: DOT	0, 827ccd0
827ccd0: ATOM	prev5_Radio_Altimeter_Status, 0
828a450: CONS	0, 0
828a480: CONS	828a460, 828a470
828a460: CONS	0, 0
828a470: CONS	82227b0, 0
0 is not implemented

828a420: IMPLIES	828a410, 828a400
828a410: CONS	828a3c0, 828a3d0
828a3c0: CONS	827cc70, 0
827cc70: DOT	0, 827cc60
827cc60: ATOM	prev4_Radio_Altimeter_Status, 0
828a3d0: CONS	0, 0
828a400: CONS	828a3e0, 828a3f0
828a3e0: CONS	0, 0
828a3f0: CONS	82227b0, 0
0 is not implemented

828a3a0: IMPLIES	828a390, 828a380
828a390: CONS	828a340, 828a350
828a340: CONS	827cc00, 0
827cc00: DOT	0, 827cbf0
827cbf0: ATOM	prev3_Radio_Altimeter_Status, 0
828a350: CONS	0, 0
828a380: CONS	828a360, 828a370
828a360: CONS	0, 0
828a370: CONS	82227b0, 0
0 is not implemented

828a320: IMPLIES	828a310, 828a300
828a310: CONS	828a2c0, 828a2d0
828a2c0: CONS	827cb90, 0
827cb90: DOT	0, 827cb80
827cb80: ATOM	prev2_Radio_Altimeter_Status, 0
828a2d0: CONS	0, 0
828a300: CONS	828a2e0, 828a2f0
828a2e0: CONS	0, 0
828a2f0: CONS	82227b0, 0
0 is not implemented

828a2a0: IMPLIES	828a290, 828a280
828a290: CONS	828a240, 828a250
828a240: CONS	827cb20, 0
827cb20: DOT	0, 827cb10
827cb10: ATOM	prev1_Radio_Altimeter_Status, 0
828a250: CONS	0, 0
828a280: CONS	828a260, 828a270
828a260: CONS	0, 0
828a270: CONS	82227b0, 0
0 is not implemented

828a220: IMPLIES	828a210, 828a200
828a210: CONS	828a1c0, 828a1d0
828a1c0: CONS	827cab0, 0
827cab0: DOT	0, 827caa0
827caa0: ATOM	Mode_Selector, 0
828a1d0: CONS	0, 0
828a200: CONS	828a1e0, 828a1f0
828a1e0: CONS	0, 0
828a1f0: CONS	82227b0, 0
0 is not implemented

828a1a0: IMPLIES	828a190, 828a180
828a190: CONS	828a140, 828a150
828a140: CONS	827ca60, 0
827ca60: DOT	0, 827ca50
827ca50: ATOM	Lowest_Ground, 0
828a150: CONS	0, 0
828a180: CONS	828a160, 828a170
828a160: CONS	0, 0
828a170: CONS	82227b0, 0
0 is not implemented

828a120: IMPLIES	828a110, 828a100
828a110: CONS	828a0c0, 828a0d0
828a0c0: CONS	827ca10, 0
827ca10: DOT	0, 827ca00
827ca00: ATOM	Traffic_Display_Permitted, 0
828a0d0: CONS	0, 0
828a100: CONS	828a0e0, 828a0f0
828a0e0: CONS	0, 0
828a0f0: CONS	82227b0, 0
0 is not implemented

828a0a0: IMPLIES	828a090, 828a080
828a090: CONS	828a040, 828a050
828a040: CONS	827c9c0, 0
827c9c0: DOT	0, 827c9b0
827c9b0: ATOM	Radio_Altimeter_Status, 0
828a050: CONS	0, 0
828a080: CONS	828a060, 828a070
828a060: CONS	0, 0
828a070: CONS	82227b0, 0
0 is not implemented

828a020: IMPLIES	828a010, 828a000
828a010: CONS	8289fc0, 8289fd0
8289fc0: CONS	827c970, 0
827c970: DOT	0, 827c960
827c960: ATOM	Own_Air_Status, 0
8289fd0: CONS	0, 0
828a000: CONS	8289fe0, 8289ff0
8289fe0: CONS	0, 0
8289ff0: CONS	82227b0, 0
0 is not implemented

8289fa0: IMPLIES	8289f90, 8289f80
8289f90: CONS	8289f40, 8289f50
8289f40: CONS	827c920, 0
827c920: DOT	0, 827c910
827c910: ATOM	Increase_Climb_Inhibit_Discrete, 0
8289f50: CONS	0, 0
8289f80: CONS	8289f60, 8289f70
8289f60: CONS	0, 0
8289f70: CONS	82227b0, 0
0 is not implemented

8289f20: IMPLIES	8289f10, 8289f00
8289f10: CONS	8289ec0, 8289ed0
8289ec0: CONS	827c8d0, 0
827c8d0: DOT	0, 827c8c0
827c8c0: ATOM	Config_Climb_Inhibit, 0
8289ed0: CONS	0, 0
8289f00: CONS	8289ee0, 8289ef0
8289ee0: CONS	0, 0
8289ef0: CONS	82227b0, 0
0 is not implemented

8289ea0: IMPLIES	8289e90, 8289e80
8289e90: CONS	8289e40, 8289e50
8289e40: CONS	827c880, 0
827c880: DOT	0, 827c870
827c870: ATOM	Altitude_Climb_Inhib_Active, 0
8289e50: CONS	0, 0
8289e80: CONS	8289e60, 8289e70
8289e60: CONS	0, 0
8289e70: CONS	82227b0, 0
0 is not implemented

8289e20: IMPLIES	8289e10, 8289e00
8289e10: CONS	8289dc0, 8289dd0
8289dc0: CONS	827c610, 0
827c610: DOT	0, 827c600
827c600: ATOM	Own_Alt_Radio_1, 0
8289dd0: CONS	0, 0
8289e00: CONS	8289de0, 8289df0
8289de0: CONS	0, 0
8289df0: CONS	82227b0, 0
0 is not implemented

8289da0: IMPLIES	8289d90, 8289d80
8289d90: CONS	8289d40, 8289d50
8289d40: CONS	827c5c0, 0
827c5c0: DOT	0, 827c5b0
827c5b0: ATOM	Own_Alt_Radio_2, 0
8289d50: CONS	0, 0
8289d80: CONS	8289d60, 8289d70
8289d60: CONS	0, 0
8289d70: CONS	82227b0, 0
0 is not implemented

8289d20: IMPLIES	8289d10, 8289d00
8289d10: CONS	8289cc0, 8289cd0
8289cc0: CONS	827c570, 0
827c570: DOT	0, 827c560
827c560: ATOM	Own_Alt_Radio_3, 0
8289cd0: CONS	0, 0
8289d00: CONS	8289ce0, 8289cf0
8289ce0: CONS	0, 0
8289cf0: CONS	82227b0, 0
0 is not implemented

8289ca0: IMPLIES	8289c90, 8289c80
8289c90: CONS	8289c40, 8289c50
8289c40: CONS	827c520, 0
827c520: DOT	0, 827c510
827c510: ATOM	Own_Alt_Radio_4, 0
8289c50: CONS	0, 0
8289c80: CONS	8289c60, 8289c70
8289c60: CONS	0, 0
8289c70: CONS	82227b0, 0
0 is not implemented

8289c20: IMPLIES	8289c10, 8289c00
8289c10: CONS	8289bc0, 8289bd0
8289bc0: CONS	827c4d0, 0
827c4d0: DOT	0, 827c4c0
827c4c0: ATOM	Own_Alt_Radio_5, 0
8289bd0: CONS	0, 0
8289c00: CONS	8289be0, 8289bf0
8289be0: CONS	0, 0
8289bf0: CONS	82227b0, 0
0 is not implemented

8289ba0: IMPLIES	8289b90, 8289b80
8289b90: CONS	8289b40, 8289b50
8289b40: CONS	827c480, 0
827c480: DOT	0, 827c470
827c470: ATOM	Own_Alt_Radio_6, 0
8289b50: CONS	0, 0
8289b80: CONS	8289b60, 8289b70
8289b60: CONS	0, 0
8289b70: CONS	82227b0, 0
0 is not implemented

8289b20: IMPLIES	8289b10, 8289b00
8289b10: CONS	8289ac0, 8289ad0
8289ac0: CONS	827c410, 0
827c410: DOT	0, 827c400
827c400: ATOM	Own_Alt_Barometric_1, 0
8289ad0: CONS	0, 0
8289b00: CONS	8289ae0, 8289af0
8289ae0: CONS	0, 0
8289af0: CONS	82227b0, 0
0 is not implemented

8289aa0: IMPLIES	8289a90, 8289a80
8289a90: CONS	8289a40, 8289a50
8289a40: CONS	827c3c0, 0
827c3c0: DOT	0, 827c3b0
827c3b0: ATOM	Own_Alt_Barometric_2, 0
8289a50: CONS	0, 0
8289a80: CONS	8289a60, 8289a70
8289a60: CONS	0, 0
8289a70: CONS	82227b0, 0
0 is not implemented

8289a20: IMPLIES	8289a10, 8289a00
8289a10: CONS	82899c0, 82899d0
82899c0: CONS	827c370, 0
827c370: DOT	0, 827c360
827c360: ATOM	Own_Alt_Barometric_3, 0
82899d0: CONS	0, 0
8289a00: CONS	82899e0, 82899f0
82899e0: CONS	0, 0
82899f0: CONS	82227b0, 0
0 is not implemented

82899a0: IMPLIES	8289990, 8289980
8289990: CONS	8289940, 8289950
8289940: CONS	827c320, 0
827c320: DOT	0, 827c310
827c310: ATOM	Own_Alt_Barometric_4, 0
8289950: CONS	0, 0
8289980: CONS	8289960, 8289970
8289960: CONS	0, 0
8289970: CONS	82227b0, 0
0 is not implemented

8289920: IMPLIES	8289910, 8289900
8289910: CONS	82898c0, 82898d0
82898c0: CONS	827c2d0, 0
827c2d0: DOT	0, 827c2c0
827c2c0: ATOM	Own_Alt_Barometric_5, 0
82898d0: CONS	0, 0
8289900: CONS	82898e0, 82898f0
82898e0: CONS	0, 0
82898f0: CONS	82227b0, 0
0 is not implemented

82898a0: IMPLIES	8289890, 8289880
8289890: CONS	8289840, 8289850
8289840: CONS	827c280, 0
827c280: DOT	0, 827c270
827c270: ATOM	Own_Alt_Barometric_6, 0
8289850: CONS	0, 0
8289880: CONS	8289860, 8289870
8289860: CONS	0, 0
8289870: CONS	82227b0, 0
0 is not implemented

8289820: IMPLIES	8289810, 8289800
8289810: CONS	82897c0, 82897d0
82897c0: CONS	827c210, 0
827c210: DOT	0, 827c200
827c200: ATOM	Aircraft_Altitude_Limit_1, 0
82897d0: CONS	0, 0
8289800: CONS	82897e0, 82897f0
82897e0: CONS	0, 0
82897f0: CONS	82227b0, 0
0 is not implemented

82897a0: IMPLIES	8289790, 8289780
8289790: CONS	8289740, 8289750
8289740: CONS	827c1c0, 0
827c1c0: DOT	0, 827c1b0
827c1b0: ATOM	Aircraft_Altitude_Limit_2, 0
8289750: CONS	0, 0
8289780: CONS	8289760, 8289770
8289760: CONS	0, 0
8289770: CONS	82227b0, 0
0 is not implemented

8289720: IMPLIES	8289710, 8289700
8289710: CONS	82896c0, 82896d0
82896c0: CONS	827c170, 0
827c170: DOT	0, 827c160
827c160: ATOM	Aircraft_Altitude_Limit_3, 0
82896d0: CONS	0, 0
8289700: CONS	82896e0, 82896f0
82896e0: CONS	0, 0
82896f0: CONS	82227b0, 0
0 is not implemented

82896a0: IMPLIES	8289690, 8289680
8289690: CONS	8289640, 8289650
8289640: CONS	827c120, 0
827c120: DOT	0, 827c110
827c110: ATOM	Aircraft_Altitude_Limit_4, 0
8289650: CONS	0, 0
8289680: CONS	8289660, 8289670
8289660: CONS	0, 0
8289670: CONS	82227b0, 0
0 is not implemented

8289620: IMPLIES	8289610, 8289600
8289610: CONS	82895c0, 82895d0
82895c0: CONS	827c0d0, 0
827c0d0: DOT	0, 827c0c0
827c0c0: ATOM	Aircraft_Altitude_Limit_5, 0
82895d0: CONS	0, 0
8289600: CONS	82895e0, 82895f0
82895e0: CONS	0, 0
82895f0: CONS	82227b0, 0
0 is not implemented

82895a0: IMPLIES	8289590, 8289580
8289590: CONS	8289540, 8289550
8289540: CONS	827c080, 0
827c080: DOT	0, 827c070
827c070: ATOM	Vertical_Control_Evaluated_Event, 0
8289550: CONS	0, 0
8289580: CONS	8289560, 8289570
8289560: CONS	0, 0
8289570: CONS	82227b0, 0
0 is not implemented

8289520: IMPLIES	8289510, 8289500
8289510: CONS	82894c0, 82894d0
82894c0: CONS	827c030, 0
827c030: DOT	0, 826f488
826f488: ATOM	Effective_SL_Evaluated_Event, 0
82894d0: CONS	0, 0
8289500: CONS	82894e0, 82894f0
82894e0: CONS	0, 0
82894f0: CONS	82227b0, 0
0 is not implemented

82894a0: IMPLIES	8289490, 8289480
8289490: CONS	8289440, 8289450
8289440: CONS	827bff0, 0
827bff0: DOT	0, 827bfe0
827bfe0: ATOM	Descend_Inhibit_Evaluated_Event, 0
8289450: CONS	0, 0
8289480: CONS	8289460, 8289470
8289460: CONS	0, 0
8289470: CONS	82227b0, 0
0 is not implemented

8289420: IMPLIES	8289410, 8289400
8289410: CONS	82893c0, 82893d0
82893c0: CONS	827bfa0, 0
827bfa0: DOT	0, 827bf90
827bf90: ATOM	Corrective_Descend_Evaluated_Event, 0
82893d0: CONS	0, 0
8289400: CONS	82893e0, 82893f0
82893e0: CONS	0, 0
82893f0: CONS	82227b0, 0
0 is not implemented

82893a0: IMPLIES	8289390, 8289380
8289390: CONS	8289340, 8289350
8289340: CONS	827bf50, 0
827bf50: DOT	0, 827bf40
827bf40: ATOM	Corrective_Climb_Evaluated_Event, 0
8289350: CONS	0, 0
8289380: CONS	8289360, 8289370
8289360: CONS	0, 0
8289370: CONS	82227b0, 0
0 is not implemented

8289320: IMPLIES	8289310, 8289300
8289310: CONS	82892c0, 82892d0
82892c0: CONS	827beb0, 0
827beb0: DOT	0, 827bea0
827bea0: ATOM	Combined_Control_Evaluated_Event, 0
82892d0: CONS	0, 0
8289300: CONS	82892e0, 82892f0
82892e0: CONS	0, 0
82892f0: CONS	82227b0, 0
0 is not implemented

82892a0: IMPLIES	8289290, 82872c8
8289290: CONS	8287288, 8287298
8287288: CONS	827be60, 0
827be60: DOT	0, 827be50
827be50: ATOM	Auto_SL_Evaluated_Event, 0
8287298: CONS	0, 0
82872c8: CONS	82872a8, 82872b8
82872a8: CONS	0, 0
82872b8: CONS	82227b0, 0
0 is not implemented

8287268: IMPLIES	8287258, 8287248
8287258: CONS	8287208, 8287218
8287208: CONS	827be10, 0
827be10: DOT	0, 826f458
826f458: ATOM	Surveillance_Complete_Event, 0
8287218: CONS	0, 0
8287248: CONS	8287228, 8287238
8287228: CONS	0, 0
8287238: CONS	82227b0, 0
0 is not implemented

82871e8: IMPLIES	82871d8, 82871c8
82871d8: CONS	8287188, 8287198
8287188: CONS	827bdb0, 0
827bdb0: DOT	0, 827bda0
827bda0: ATOM	prev_Descend_VSL, 0
8287198: CONS	0, 0
82871c8: CONS	82871a8, 82871b8
82871a8: CONS	0, 0
82871b8: CONS	82227b0, 0
0 is not implemented

8287168: IMPLIES	8287158, 8287148
8287158: CONS	8287108, 8287118
8287108: CONS	827bd40, 0
827bd40: DOT	0, 827bd30
827bd30: ATOM	prev_Climb_VSL, 0
8287118: CONS	0, 0
8287148: CONS	8287128, 8287138
8287128: CONS	0, 0
8287138: CONS	82227b0, 0
0 is not implemented

82870e8: IMPLIES	82870d8, 82870c8
82870d8: CONS	8287088, 8287098
8287088: CONS	827bc80, 0
827bc80: DOT	0, 827bc70
827bc70: ATOM	Vertical_Control, 0
8287098: CONS	0, 0
82870c8: CONS	82870a8, 82870b8
82870a8: CONS	0, 0
82870b8: CONS	82227b0, 0
0 is not implemented

8287068: IMPLIES	8287058, 8287048
8287058: CONS	8287008, 8287018
8287008: CONS	827bc30, 0
827bc30: DOT	0, 827bc20
827bc20: ATOM	Combined_Control, 0
8287018: CONS	0, 0
8287048: CONS	8287028, 8287038
8287028: CONS	0, 0
8287038: CONS	82227b0, 0
0 is not implemented

8286fe8: IMPLIES	8286fd8, 8286fc8
8286fd8: CONS	8286f88, 8286f98
8286f88: CONS	827bbe0, 0
827bbe0: DOT	0, 827bbd0
827bbd0: ATOM	Corrective_Descend, 0
8286f98: CONS	0, 0
8286fc8: CONS	8286fa8, 8286fb8
8286fa8: CONS	0, 0
8286fb8: CONS	82227b0, 0
0 is not implemented

8286f68: IMPLIES	8286f58, 8286f48
8286f58: CONS	8286f08, 8286f18
8286f08: CONS	827bb90, 0
827bb90: DOT	0, 827bb80
827bb80: ATOM	Corrective_Climb, 0
8286f18: CONS	0, 0
8286f48: CONS	8286f28, 8286f38
8286f28: CONS	0, 0
8286f38: CONS	82227b0, 0
0 is not implemented

8286ee8: IMPLIES	8286ed8, 8286ec8
8286ed8: CONS	8286e88, 8286e98
8286e88: CONS	827bb40, 0
827bb40: DOT	0, 827bb30
827bb30: ATOM	Descend_VSL, 0
8286e98: CONS	0, 0
8286ec8: CONS	8286ea8, 8286eb8
8286ea8: CONS	0, 0
8286eb8: CONS	82227b0, 0
0 is not implemented

8286e68: IMPLIES	8286e58, 8286e48
8286e58: CONS	8286e08, 8286e18
8286e08: CONS	827baf0, 0
827baf0: DOT	0, 827bae0
827bae0: ATOM	Climb_VSL, 0
8286e18: CONS	0, 0
8286e48: CONS	8286e28, 8286e38
8286e28: CONS	0, 0
8286e38: CONS	82227b0, 0
0 is not implemented

8286de8: IMPLIES	8286dd8, 8286dc8
8286dd8: CONS	8286d88, 8286d98
8286d88: CONS	827ba50, 0
827ba50: DOT	0, 826f578
826f578: ATOM	Increase_Descend_Inhibit, 0
8286d98: CONS	0, 0
8286dc8: CONS	8286da8, 8286db8
8286da8: CONS	0, 0
8286db8: CONS	82227b0, 0
0 is not implemented

8286d68: IMPLIES	8286d58, 8286d48
8286d58: CONS	8286d08, 8286d18
8286d08: CONS	827ba10, 0
827ba10: DOT	0, 826f518
826f518: ATOM	Descend_Inhibit, 0
8286d18: CONS	0, 0
8286d48: CONS	8286d28, 8286d38
8286d28: CONS	0, 0
8286d38: CONS	82227b0, 0
0 is not implemented

8286ce8: IMPLIES	8286cd8, 8286cc8
8286cd8: CONS	8286c88, 8286c98
8286c88: CONS	827b9d0, 0
827b9d0: DOT	0, 826f548
826f548: ATOM	Increase_Climb_Inhibit, 0
8286c98: CONS	0, 0
8286cc8: CONS	8286ca8, 8286cb8
8286ca8: CONS	0, 0
8286cb8: CONS	82227b0, 0
0 is not implemented

8286c68: IMPLIES	8286c58, 8286c48
8286c58: CONS	8286c08, 8286c18
8286c08: CONS	827b990, 0
827b990: DOT	0, 826f4e8
826f4e8: ATOM	Climb_Inhibit, 0
8286c18: CONS	0, 0
8286c48: CONS	8286c28, 8286c38
8286c28: CONS	0, 0
8286c38: CONS	82227b0, 0
0 is not implemented

8286be8: IMPLIES	8286bd8, 8286bc8
8286bd8: CONS	8286b88, 8286b98
8286b88: CONS	827b950, 0
827b950: DOT	0, 827b940
827b940: ATOM	Altitude_Layer, 0
8286b98: CONS	0, 0
8286bc8: CONS	8286ba8, 8286bb8
8286ba8: CONS	0, 0
8286bb8: CONS	82227b0, 0
0 is not implemented

8286b68: IMPLIES	8286b58, 8286b48
8286b58: CONS	8286b08, 8286b18
8286b08: CONS	827b890, 0
827b890: DOT	0, 827b880
827b880: ATOM	Auto_SL, 0
8286b18: CONS	0, 0
8286b48: CONS	8286b28, 8286b38
8286b28: CONS	0, 0
8286b38: CONS	82227b0, 0
0 is not implemented

8286ae8: IMPLIES	8286ad8, 8286ac8
8286ad8: CONS	8286a88, 8286a98
8286a88: CONS	827b7d0, 0
827b7d0: DOT	0, 827b7c0
827b7c0: ATOM	Effective_SL, 0
8286a98: CONS	0, 0
8286ac8: CONS	8286aa8, 8286ab8
8286aa8: CONS	0, 0
8286ab8: CONS	82227b0, 0
0 is not implemented

8286658: IMPLIES	8286648, 8286638
8286648: CONS	82861a8, 8286618
82861a8: CONS	827f018, 0
827f018: DOT	827cfc0, 827f008
827cfc0: DOT	0, 827cfb0
827cfb0: ATOM	OA_1, 0
827f008: ATOM	prev_Strength, 0
8286618: CONS	8285708, 0
8285708: EQUAL	827f018, 821e550
827f018: DOT	827cfc0, 827f008
827cfc0: DOT	0, 827cfb0
827cfb0: ATOM	OA_1, 0
827f008: ATOM	prev_Strength, 0
821e550: ATOM	Increase, 0
8286638: CONS	8286a78, 8286628
8286a78: CONS	821db00, 8286a68
821db00: NUMBER	0, 0
8286a68: CONS	821daf0, 8286a58
821daf0: NUMBER	1, 0
8286a58: CONS	82212e0, 8286a48
82212e0: NUMBER	2, 0
8286a48: CONS	8221310, 0
8221310: NUMBER	3, 0
8286628: CONS	0, 0

The number of abstracted variables is 95
