15_a_thrust
You will then have a limited amount of time to escape before the reactor explodes and the planet is destroyed.
( (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))
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,nim).
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,attrib).
arc(r_0015_0005__a_r_0015_0007__amount,r_0015_0009__time,r_0015_0008__of).
arc(r_0015_0011__escape,r_0015_0009__time,inv_nim).
arc(r_0015_0011__escape,z_0015_5015,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_0015_5006___star_,arg0).
fof(formula,axiom,
? [R_0015_0001__YOU,R_0015_0003__THEN,R_0015_0006__LIMITED,Z_0015_5015,R_0015_0011__ESCAPE,R_0015_0009__TIME,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_0015_5006___STAR_,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_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_0015_5006___star_(Z_0015_5006___STAR_)
& z_0015_5015(Z_0015_5015)
& 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_0015_5006___STAR_)
& 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)
& r_0015_0009__time(R_0015_0009__TIME)
& has_inv_nim(R_0015_0009__TIME,R_0015_0011__ESCAPE)
& r_0015_0011__escape(R_0015_0011__ESCAPE)
& has_arg0(R_0015_0011__ESCAPE,Z_0015_5015)
& has_attrib(R_0015_0005__A_R_0015_0007__AMOUNT,R_0015_0006__LIMITED)
& has_nim(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) ) ).