| NAME tfpg | |
| INFINITY_SEMANTICS_OPEN | |
| AND SYS_DEAD MONITORED | |
| OR S1_WO | |
| OR B1_DEAD | |
| OR B1_LOW MONITORED | |
| OR G1_DEAD | |
| FM G1_OFF | |
| FM S1_OFF | |
| OR S2_WO | |
| OR B2_DEAD | |
| OR B2_LOW MONITORED | |
| OR G2_DEAD | |
| FM G2_OFF | |
| FM S2_OFF | |
| MODES primary,secondary_1,secondary_2 | |
| EDGE e1 G1_OFF G1_DEAD 0 0 (primary,secondary_1,secondary_2) | |
| EDGE e2 G1_DEAD B1_LOW 0 100 (primary,secondary_1) | |
| EDGE e3 B1_LOW B1_DEAD 5 10 (primary,secondary_1) | |
| EDGE e4 B1_DEAD S1_WO 0 1 (primary,secondary_1) | |
| EDGE e5 S1_OFF S1_WO 0 0 (primary,secondary_1,secondary_2) | |
| EDGE e6 S1_WO SYS_DEAD 0 1 (primary,secondary_1,secondary_2) | |
| EDGE e7 G2_OFF G2_DEAD 0 0 (primary,secondary_1,secondary_2) | |
| EDGE e8 G2_DEAD B2_LOW 0 100 (primary,secondary_2) | |
| EDGE e9 B2_LOW B2_DEAD 5 10 (primary,secondary_2) | |
| EDGE e10 B2_DEAD S2_WO 0 1 (primary,secondary_1) | |
| EDGE e11 S2_OFF S2_WO 0 0 (primary,secondary_1,secondary_2) | |
| EDGE e12 S2_WO SYS_DEAD 0 1 (primary,secondary_1,secondary_2) | |
| EDGE e13 B1_DEAD S2_WO 0 1 (secondary_1) | |
| EDGE e14 B2_DEAD S1_WO 0 1 (secondary_2) |