15_a_thrust
You will then have a limited amount of time to escape before the reactor explodes and the planet is destroyed.
arc(r_0015_0002__will, r_0015_0004__have, scope).
arc(r_0015_0004__have, r_0015_0001__You, arg0).
arc(r_0015_0004__have, r_0015_0003__then, nim8).
arc(r_0015_0004__have, r_0015_0005__a_r_0015_0007__amount, arg1).
arc(r_0015_0005__a_r_0015_0007__amount, r_0015_0006__limited, attrib16).
arc(r_0015_0005__a_r_0015_0007__amount, r_0015_0009__time, r_0015_0008__of).
arc(r_0015_0010__to_r_0015_0011__escape, r_0015_0009__time, nim28).
arc(r_0015_0010__to_r_0015_0011__escape, z_000_15_a_thrust_27, arg0).
arc(r_0015_0012__before, r_0015_0002__will, scope).
arc(r_0015_0012__before, r_0015_0016__and, restriction).
arc(r_0015_0015__explodes, r_0015_0013__the_r_0015_0014__reactor, arg0).
arc(r_0015_0016__and, r_0015_0015__explodes, conj1).
arc(r_0015_0016__and, r_0015_0019__is, conj2).
arc(r_0015_0019__is, r_0015_0020__destroyed, scope).
arc(r_0015_0020__destroyed, r_0015_0017__the_r_0015_0018__planet, arg1).
arc(r_0015_0020__destroyed, z_000_15_a_thrust_59, arg0).
fof(formula,axiom,
? [R_0015_0009__TIME,Z_000_15_A_THRUST_27,R_0015_0010__TO_R_0015_0011__ESCAPE,R_0015_0001__YOU,R_0015_0003__THEN,R_0015_0006__LIMITED,R_0015_0005__A_R_0015_0007__AMOUNT,R_0015_0002__WILL_R_0015_0004__HAVE,R_0015_0013__THE_R_0015_0014__REACTOR,R_0015_0015__EXPLODES,R_0015_0017__THE_R_0015_0018__PLANET,Z_000_15_A_THRUST_59,R_0015_0019__IS_R_0015_0020__DESTROYED,R_0015_0016__AND,R_0015_0012__BEFORE] :
( r_0015_0001__You(R_0015_0001__YOU)
& r_0015_0003__then(R_0015_0003__THEN)
& r_0015_0006__limited(R_0015_0006__LIMITED)
& r_0015_0009__time(R_0015_0009__TIME)
& r_0015_0013__the_r_0015_0014__reactor(R_0015_0013__THE_R_0015_0014__REACTOR)
& r_0015_0017__the_r_0015_0018__planet(R_0015_0017__THE_R_0015_0018__PLANET)
& z_000_15_a_thrust_27(Z_000_15_A_THRUST_27)
& z_000_15_a_thrust_59(Z_000_15_A_THRUST_59)
& r_0015_0012__before(R_0015_0012__BEFORE)
& has_conj1(R_0015_0012__BEFORE,R_0015_0016__AND)
& r_0015_0016__and(R_0015_0016__AND)
& has_conj2(R_0015_0016__AND,R_0015_0019__IS_R_0015_0020__DESTROYED)
& r_0015_0019__is_r_0015_0020__destroyed(R_0015_0019__IS_R_0015_0020__DESTROYED)
& has_arg0(R_0015_0019__IS_R_0015_0020__DESTROYED,Z_000_15_A_THRUST_59)
& has_arg1(R_0015_0019__IS_R_0015_0020__DESTROYED,R_0015_0017__THE_R_0015_0018__PLANET)
& has_conj1(R_0015_0016__AND,R_0015_0015__EXPLODES)
& r_0015_0015__explodes(R_0015_0015__EXPLODES)
& has_arg0(R_0015_0015__EXPLODES,R_0015_0013__THE_R_0015_0014__REACTOR)
& has_conj2(R_0015_0012__BEFORE,R_0015_0002__WILL_R_0015_0004__HAVE)
& r_0015_0002__will_r_0015_0004__have(R_0015_0002__WILL_R_0015_0004__HAVE)
& has_arg1(R_0015_0002__WILL_R_0015_0004__HAVE,R_0015_0005__A_R_0015_0007__AMOUNT)
& r_0015_0005__a_r_0015_0007__amount(R_0015_0005__A_R_0015_0007__AMOUNT)
& has_r_0015_0008__of(R_0015_0005__A_R_0015_0007__AMOUNT,R_0015_0009__TIME)
& has_attrib16(R_0015_0005__A_R_0015_0007__AMOUNT,R_0015_0006__LIMITED)
& has_nim8(R_0015_0002__WILL_R_0015_0004__HAVE,R_0015_0003__THEN)
& has_arg0(R_0015_0002__WILL_R_0015_0004__HAVE,R_0015_0001__YOU)
& r_0015_0010__to_r_0015_0011__escape(R_0015_0010__TO_R_0015_0011__ESCAPE)
& has_arg0(R_0015_0010__TO_R_0015_0011__ESCAPE,Z_000_15_A_THRUST_27)
& has_nim28(R_0015_0010__TO_R_0015_0011__ESCAPE,R_0015_0009__TIME) ) ).
( (IP-MAT (NP-SBJ;{PLAYER} (PRO You;{you}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (ADVP-NIM (ADV then;{then}))
(HV;_Tn_ have;{have})
(NP-OB1 (D a;{a})
(ADJP (ADJ limited;{limited}))
(N amount;{amount})
(PP (P-ROLE of;{of})
(NP (N time;{time})
(IP-INF-REL (NP-NIM *T*)
(TO to;{to})
(VB;_I_ escape;{escape}))))))
(PP-SCON (P-CONN before;{before})
(IP-ADV (ILYR (ILYR (NP-SBJ;{REACTOR} (D the;{the})
(N reactor;{reactor}))
(VBP;_I_ explodes;{explode}))
(CONJP (CONJ and;{and})
(ILYR;{P_DESTROY} (NP-SBJ;{PLANET} (D the;{the})
(N planet;{planet}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ destroyed;{destroy})))))))
(PUNC .))
(ID 15_a_thrust))