Context                Previous, Next                Top


15_a_thrust
You will then have a limited amount of time to escape before the reactor explodes and the planet is destroyed.

%3 r_0015_0002__will will r_0015_0004__have have r_0015_0002__will->r_0015_0004__have [scope] r_0015_0001__You You r_0015_0004__have->r_0015_0001__You [arg0] r_0015_0003__then then r_0015_0004__have->r_0015_0003__then [nim] r_0015_0005__a_r_0015_0007__amount a amount r_0015_0004__have->r_0015_0005__a_r_0015_0007__amount [arg1] r_0015_0006__limited limited r_0015_0005__a_r_0015_0007__amount->r_0015_0006__limited [attrib] r_0015_0009__time time r_0015_0005__a_r_0015_0007__amount->r_0015_0009__time of r_0015_0010__to_r_0015_0011__escape to escape r_0015_0010__to_r_0015_0011__escape->r_0015_0009__time [nim] z_000_15_a_thrust_27 r_0015_0010__to_r_0015_0011__escape->z_000_15_a_thrust_27 [arg0] r_0015_0012__before before r_0015_0012__before->r_0015_0002__will [scope] r_0015_0016__and and r_0015_0012__before->r_0015_0016__and [restriction] r_0015_0015__explodes explodes r_0015_0016__and->r_0015_0015__explodes [conj1] r_0015_0019__is is r_0015_0016__and->r_0015_0019__is [conj2] r_0015_0013__the_r_0015_0014__reactor the reactor r_0015_0015__explodes->r_0015_0013__the_r_0015_0014__reactor [arg0] r_0015_0020__destroyed destroyed r_0015_0019__is->r_0015_0020__destroyed [scope] r_0015_0017__the_r_0015_0018__planet the planet r_0015_0020__destroyed->r_0015_0017__the_r_0015_0018__planet [arg1] z_000_15_a_thrust_59 r_0015_0020__destroyed->z_000_15_a_thrust_59 [arg0] 
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).


%3 r_0015_0019__is_r_0015_0020__destroyed is destroyed z_000_15_a_thrust_59 r_0015_0019__is_r_0015_0020__destroyed->z_000_15_a_thrust_59 [arg0] r_0015_0017__the_r_0015_0018__planet the planet r_0015_0019__is_r_0015_0020__destroyed->r_0015_0017__the_r_0015_0018__planet [arg1] r_0015_0016__and and r_0015_0016__and->r_0015_0019__is_r_0015_0020__destroyed [conj2] r_0015_0015__explodes explodes r_0015_0016__and->r_0015_0015__explodes [conj1] r_0015_0013__the_r_0015_0014__reactor the reactor r_0015_0015__explodes->r_0015_0013__the_r_0015_0014__reactor [arg0] r_0015_0012__before before r_0015_0012__before->r_0015_0016__and [conj1] r_0015_0002__will_r_0015_0004__have will have r_0015_0012__before->r_0015_0002__will_r_0015_0004__have [conj2] r_0015_0005__a_r_0015_0007__amount a amount r_0015_0002__will_r_0015_0004__have->r_0015_0005__a_r_0015_0007__amount [arg1] r_0015_0003__then then r_0015_0002__will_r_0015_0004__have->r_0015_0003__then [nim] r_0015_0001__You You r_0015_0002__will_r_0015_0004__have->r_0015_0001__You [arg0] r_0015_0010__to_r_0015_0011__escape to escape z_000_15_a_thrust_27 r_0015_0010__to_r_0015_0011__escape->z_000_15_a_thrust_27 [arg0] r_0015_0009__time time r_0015_0010__to_r_0015_0011__escape->r_0015_0009__time [nim] r_0015_0005__a_r_0015_0007__amount->r_0015_0009__time of r_0015_0006__limited limited r_0015_0005__a_r_0015_0007__amount->r_0015_0006__limited [attrib] 
fof(formula,axiom,
    ? [R_15_10_TO_ESCAPE,Z_15_A_THRUST_27,R_15_12_BEFORE,R_15_16_AND,R_15_15_EXPLODES,R_15_13_THE_REACTOR,R_15_19_IS_DESTROYED,Z_15_A_THRUST_59,R_15_17_THE_PLANET,R_15_2_WILL_HAVE,R_15_1_YOU,R_15_5_A_AMOUNT,R_15_6_LIMITED,R_15_9_TIME,R_15_3_THEN] :
      ( the_reactor(R_15_13_THE_REACTOR)
      & the_planet(R_15_17_THE_PLANET)
      & you(R_15_1_YOU)
      & limited(R_15_6_LIMITED)
      & time(R_15_9_TIME)
      & then(R_15_3_THEN)
      & to_escape(R_15_10_TO_ESCAPE,Z_15_A_THRUST_27)
      & nim28(R_15_10_TO_ESCAPE,R_15_9_TIME)
      & before(R_15_12_BEFORE)
      & conj1(R_15_12_BEFORE,R_15_16_AND)
      & and(R_15_16_AND)
      & conj1(R_15_16_AND,R_15_15_EXPLODES)
      & explodes(R_15_15_EXPLODES,R_15_13_THE_REACTOR)
      & conj2(R_15_16_AND,R_15_19_IS_DESTROYED)
      & is_destroyed(R_15_19_IS_DESTROYED,Z_15_A_THRUST_59,R_15_17_THE_PLANET)
      & conj2(R_15_12_BEFORE,R_15_2_WILL_HAVE)
      & will_have(R_15_2_WILL_HAVE,R_15_1_YOU,R_15_5_A_AMOUNT)
      & a_amount(R_15_5_A_AMOUNT)
      & attrib16(R_15_5_A_AMOUNT,R_15_6_LIMITED)
      & of(R_15_5_A_AMOUNT,R_15_9_TIME)
      & nim8(R_15_2_WILL_HAVE,R_15_3_THEN) ) ).


n15_a_thrust n15_a_thrust__1_1_1_1 You n15_a_thrust__1_2_1 will n15_a_thrust__1_3_1_1_1 then n15_a_thrust__1_3_2_1 have n15_a_thrust__1_3_3_1_1 a n15_a_thrust__1_3_3_2_1_1 limited n15_a_thrust__1_3_3_3_1 amount n15_a_thrust__1_3_3_4_1_1 of n15_a_thrust__1_3_3_4_2_1_1 time n15_a_thrust__1_3_3_4_2_2_1_1 *T* n15_a_thrust__1_3_3_4_2_2_2_1 to n15_a_thrust__1_3_3_4_2_2_3_1 escape n15_a_thrust__1_4_1_1 before n15_a_thrust__1_4_2_1_1_1_1_1 the n15_a_thrust__1_4_2_1_1_1_2_1 reactor n15_a_thrust__1_4_2_1_1_2_1 explodes n15_a_thrust__1_4_2_1_2_1_1 and n15_a_thrust__1_4_2_1_2_2_1_1_1 the n15_a_thrust__1_4_2_1_2_2_1_2_1 planet n15_a_thrust__1_4_2_1_2_2_2_1 is n15_a_thrust__1_4_2_1_2_2_3_1_1 * n15_a_thrust__1_4_2_1_2_2_3_2_1 destroyed n15_a_thrust__1_5_1 . n15_a_thrust__1 IP-MAT n15_a_thrust__1_1 NP-SBJ n15_a_thrust__1->n15_a_thrust__1_1 n15_a_thrust__1_2 MD;_cat_Vi_ n15_a_thrust__1->n15_a_thrust__1_2 n15_a_thrust__1_3 IP-INF-CAT n15_a_thrust__1->n15_a_thrust__1_3 n15_a_thrust__1_4 PP-SCON n15_a_thrust__1->n15_a_thrust__1_4 n15_a_thrust__1_5 PUNC n15_a_thrust__1->n15_a_thrust__1_5 n15_a_thrust__1_1_1 PRO n15_a_thrust__1_1->n15_a_thrust__1_1_1 n15_a_thrust__1_1_1->n15_a_thrust__1_1_1_1 n15_a_thrust__1_2->n15_a_thrust__1_2_1 n15_a_thrust__1_3_1 ADVP-NIM n15_a_thrust__1_3->n15_a_thrust__1_3_1 n15_a_thrust__1_3_2 HV;_Tn_ n15_a_thrust__1_3->n15_a_thrust__1_3_2 n15_a_thrust__1_3_3 NP-OB1 n15_a_thrust__1_3->n15_a_thrust__1_3_3 n15_a_thrust__1_3_1_1 ADV n15_a_thrust__1_3_1->n15_a_thrust__1_3_1_1 n15_a_thrust__1_3_1_1->n15_a_thrust__1_3_1_1_1 n15_a_thrust__1_3_2->n15_a_thrust__1_3_2_1 n15_a_thrust__1_3_3_1 D n15_a_thrust__1_3_3->n15_a_thrust__1_3_3_1 n15_a_thrust__1_3_3_2 ADJP n15_a_thrust__1_3_3->n15_a_thrust__1_3_3_2 n15_a_thrust__1_3_3_3 N n15_a_thrust__1_3_3->n15_a_thrust__1_3_3_3 n15_a_thrust__1_3_3_4 PP n15_a_thrust__1_3_3->n15_a_thrust__1_3_3_4 n15_a_thrust__1_3_3_1->n15_a_thrust__1_3_3_1_1 n15_a_thrust__1_3_3_2_1 ADJ n15_a_thrust__1_3_3_2->n15_a_thrust__1_3_3_2_1 n15_a_thrust__1_3_3_2_1->n15_a_thrust__1_3_3_2_1_1 n15_a_thrust__1_3_3_3->n15_a_thrust__1_3_3_3_1 n15_a_thrust__1_3_3_4_1 P-ROLE n15_a_thrust__1_3_3_4->n15_a_thrust__1_3_3_4_1 n15_a_thrust__1_3_3_4_2 NP n15_a_thrust__1_3_3_4->n15_a_thrust__1_3_3_4_2 n15_a_thrust__1_3_3_4_1->n15_a_thrust__1_3_3_4_1_1 n15_a_thrust__1_3_3_4_2_1 N n15_a_thrust__1_3_3_4_2->n15_a_thrust__1_3_3_4_2_1 n15_a_thrust__1_3_3_4_2_2 IP-INF-REL n15_a_thrust__1_3_3_4_2->n15_a_thrust__1_3_3_4_2_2 n15_a_thrust__1_3_3_4_2_1->n15_a_thrust__1_3_3_4_2_1_1 n15_a_thrust__1_3_3_4_2_2_1 NP-NIM n15_a_thrust__1_3_3_4_2_2->n15_a_thrust__1_3_3_4_2_2_1 n15_a_thrust__1_3_3_4_2_2_2 TO n15_a_thrust__1_3_3_4_2_2->n15_a_thrust__1_3_3_4_2_2_2 n15_a_thrust__1_3_3_4_2_2_3 VB;_I_ n15_a_thrust__1_3_3_4_2_2->n15_a_thrust__1_3_3_4_2_2_3 n15_a_thrust__1_3_3_4_2_2_1->n15_a_thrust__1_3_3_4_2_2_1_1 n15_a_thrust__1_3_3_4_2_2_2->n15_a_thrust__1_3_3_4_2_2_2_1 n15_a_thrust__1_3_3_4_2_2_3->n15_a_thrust__1_3_3_4_2_2_3_1 n15_a_thrust__1_4_1 P-CONN n15_a_thrust__1_4->n15_a_thrust__1_4_1 n15_a_thrust__1_4_2 IP-ADV n15_a_thrust__1_4->n15_a_thrust__1_4_2 n15_a_thrust__1_4_1->n15_a_thrust__1_4_1_1 n15_a_thrust__1_4_2_1 ILYR n15_a_thrust__1_4_2->n15_a_thrust__1_4_2_1 n15_a_thrust__1_4_2_1_1 ILYR n15_a_thrust__1_4_2_1->n15_a_thrust__1_4_2_1_1 n15_a_thrust__1_4_2_1_2 CONJP n15_a_thrust__1_4_2_1->n15_a_thrust__1_4_2_1_2 n15_a_thrust__1_4_2_1_1_1 NP-SBJ n15_a_thrust__1_4_2_1_1->n15_a_thrust__1_4_2_1_1_1 n15_a_thrust__1_4_2_1_1_2 VBP;_I_ n15_a_thrust__1_4_2_1_1->n15_a_thrust__1_4_2_1_1_2 n15_a_thrust__1_4_2_1_1_1_1 D n15_a_thrust__1_4_2_1_1_1->n15_a_thrust__1_4_2_1_1_1_1 n15_a_thrust__1_4_2_1_1_1_2 N n15_a_thrust__1_4_2_1_1_1->n15_a_thrust__1_4_2_1_1_1_2 n15_a_thrust__1_4_2_1_1_1_1->n15_a_thrust__1_4_2_1_1_1_1_1 n15_a_thrust__1_4_2_1_1_1_2->n15_a_thrust__1_4_2_1_1_1_2_1 n15_a_thrust__1_4_2_1_1_2->n15_a_thrust__1_4_2_1_1_2_1 n15_a_thrust__1_4_2_1_2_1 CONJ n15_a_thrust__1_4_2_1_2->n15_a_thrust__1_4_2_1_2_1 n15_a_thrust__1_4_2_1_2_2 ILYR n15_a_thrust__1_4_2_1_2->n15_a_thrust__1_4_2_1_2_2 n15_a_thrust__1_4_2_1_2_1->n15_a_thrust__1_4_2_1_2_1_1 n15_a_thrust__1_4_2_1_2_2_1 NP-SBJ n15_a_thrust__1_4_2_1_2_2->n15_a_thrust__1_4_2_1_2_2_1 n15_a_thrust__1_4_2_1_2_2_2 BEP;_cat_VePASS_ n15_a_thrust__1_4_2_1_2_2->n15_a_thrust__1_4_2_1_2_2_2 n15_a_thrust__1_4_2_1_2_2_3 IP-PPL-CAT n15_a_thrust__1_4_2_1_2_2->n15_a_thrust__1_4_2_1_2_2_3 n15_a_thrust__1_4_2_1_2_2_1_1 D n15_a_thrust__1_4_2_1_2_2_1->n15_a_thrust__1_4_2_1_2_2_1_1 n15_a_thrust__1_4_2_1_2_2_1_2 N n15_a_thrust__1_4_2_1_2_2_1->n15_a_thrust__1_4_2_1_2_2_1_2 n15_a_thrust__1_4_2_1_2_2_1_1->n15_a_thrust__1_4_2_1_2_2_1_1_1 n15_a_thrust__1_4_2_1_2_2_1_2->n15_a_thrust__1_4_2_1_2_2_1_2_1 n15_a_thrust__1_4_2_1_2_2_2->n15_a_thrust__1_4_2_1_2_2_2_1 n15_a_thrust__1_4_2_1_2_2_3_1 NP-LGS n15_a_thrust__1_4_2_1_2_2_3->n15_a_thrust__1_4_2_1_2_2_3_1 n15_a_thrust__1_4_2_1_2_2_3_2 VVN;_Tn_ n15_a_thrust__1_4_2_1_2_2_3->n15_a_thrust__1_4_2_1_2_2_3_2 n15_a_thrust__1_4_2_1_2_2_3_1->n15_a_thrust__1_4_2_1_2_2_3_1_1 n15_a_thrust__1_4_2_1_2_2_3_2->n15_a_thrust__1_4_2_1_2_2_3_2_1 n15_a_thrust__1_5->n15_a_thrust__1_5_1 
( (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))