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_0002__will_r_0015_0004__have will have r_0015_0001__You You r_0015_0002__will_r_0015_0004__have->r_0015_0001__You [arg0] r_0015_0003__then then r_0015_0002__will_r_0015_0004__have->r_0015_0003__then [nim] 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_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_r_0015_0004__have [conj2] r_0015_0016__and and r_0015_0012__before->r_0015_0016__and [conj1] r_0015_0015__explodes explodes r_0015_0016__and->r_0015_0015__explodes [conj1] r_0015_0019__is_r_0015_0020__destroyed is destroyed r_0015_0016__and->r_0015_0019__is_r_0015_0020__destroyed [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_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] z_000_15_a_thrust_59 r_0015_0019__is_r_0015_0020__destroyed->z_000_15_a_thrust_59 [arg0] 
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_4 You n15_a_thrust_6 will n15_a_thrust_10 then n15_a_thrust_12 have n15_a_thrust_15 a n15_a_thrust_18 limited n15_a_thrust_20 amount n15_a_thrust_23 of n15_a_thrust_26 time n15_a_thrust_29 *T* n15_a_thrust_31 to n15_a_thrust_33 escape n15_a_thrust_36 before n15_a_thrust_42 the n15_a_thrust_44 reactor n15_a_thrust_46 explodes n15_a_thrust_49 and n15_a_thrust_53 the n15_a_thrust_55 planet n15_a_thrust_57 is n15_a_thrust_60 * n15_a_thrust_62 destroyed n15_a_thrust_64 . n15_a_thrust_1 IP-MAT n15_a_thrust_2 NP-SBJ n15_a_thrust_1->n15_a_thrust_2 n15_a_thrust_5 MD;_cat_Vi_ n15_a_thrust_1->n15_a_thrust_5 n15_a_thrust_7 IP-INF-CAT n15_a_thrust_1->n15_a_thrust_7 n15_a_thrust_34 PP-SCON n15_a_thrust_1->n15_a_thrust_34 n15_a_thrust_63 PUNC n15_a_thrust_1->n15_a_thrust_63 n15_a_thrust_3 PRO n15_a_thrust_2->n15_a_thrust_3 n15_a_thrust_3->n15_a_thrust_4 n15_a_thrust_5->n15_a_thrust_6 n15_a_thrust_8 ADVP-NIM n15_a_thrust_7->n15_a_thrust_8 n15_a_thrust_11 HV;_Tn_ n15_a_thrust_7->n15_a_thrust_11 n15_a_thrust_13 NP-OB1 n15_a_thrust_7->n15_a_thrust_13 n15_a_thrust_9 ADV n15_a_thrust_8->n15_a_thrust_9 n15_a_thrust_9->n15_a_thrust_10 n15_a_thrust_11->n15_a_thrust_12 n15_a_thrust_14 D n15_a_thrust_13->n15_a_thrust_14 n15_a_thrust_16 ADJP n15_a_thrust_13->n15_a_thrust_16 n15_a_thrust_19 N n15_a_thrust_13->n15_a_thrust_19 n15_a_thrust_21 PP n15_a_thrust_13->n15_a_thrust_21 n15_a_thrust_14->n15_a_thrust_15 n15_a_thrust_17 ADJ n15_a_thrust_16->n15_a_thrust_17 n15_a_thrust_17->n15_a_thrust_18 n15_a_thrust_19->n15_a_thrust_20 n15_a_thrust_22 P-ROLE n15_a_thrust_21->n15_a_thrust_22 n15_a_thrust_24 NP n15_a_thrust_21->n15_a_thrust_24 n15_a_thrust_22->n15_a_thrust_23 n15_a_thrust_25 N n15_a_thrust_24->n15_a_thrust_25 n15_a_thrust_27 IP-INF-REL n15_a_thrust_24->n15_a_thrust_27 n15_a_thrust_25->n15_a_thrust_26 n15_a_thrust_28 NP-NIM n15_a_thrust_27->n15_a_thrust_28 n15_a_thrust_30 TO n15_a_thrust_27->n15_a_thrust_30 n15_a_thrust_32 VB;_I_ n15_a_thrust_27->n15_a_thrust_32 n15_a_thrust_28->n15_a_thrust_29 n15_a_thrust_30->n15_a_thrust_31 n15_a_thrust_32->n15_a_thrust_33 n15_a_thrust_35 P-CONN n15_a_thrust_34->n15_a_thrust_35 n15_a_thrust_37 IP-ADV n15_a_thrust_34->n15_a_thrust_37 n15_a_thrust_35->n15_a_thrust_36 n15_a_thrust_38 ILYR n15_a_thrust_37->n15_a_thrust_38 n15_a_thrust_39 ILYR n15_a_thrust_38->n15_a_thrust_39 n15_a_thrust_47 CONJP n15_a_thrust_38->n15_a_thrust_47 n15_a_thrust_40 NP-SBJ n15_a_thrust_39->n15_a_thrust_40 n15_a_thrust_45 VBP;_I_ n15_a_thrust_39->n15_a_thrust_45 n15_a_thrust_41 D n15_a_thrust_40->n15_a_thrust_41 n15_a_thrust_43 N n15_a_thrust_40->n15_a_thrust_43 n15_a_thrust_41->n15_a_thrust_42 n15_a_thrust_43->n15_a_thrust_44 n15_a_thrust_45->n15_a_thrust_46 n15_a_thrust_48 CONJ n15_a_thrust_47->n15_a_thrust_48 n15_a_thrust_50 ILYR n15_a_thrust_47->n15_a_thrust_50 n15_a_thrust_48->n15_a_thrust_49 n15_a_thrust_51 NP-SBJ n15_a_thrust_50->n15_a_thrust_51 n15_a_thrust_56 BEP;_cat_VePASS_ n15_a_thrust_50->n15_a_thrust_56 n15_a_thrust_58 IP-PPL-CAT n15_a_thrust_50->n15_a_thrust_58 n15_a_thrust_52 D n15_a_thrust_51->n15_a_thrust_52 n15_a_thrust_54 N n15_a_thrust_51->n15_a_thrust_54 n15_a_thrust_52->n15_a_thrust_53 n15_a_thrust_54->n15_a_thrust_55 n15_a_thrust_56->n15_a_thrust_57 n15_a_thrust_59 NP-LGS n15_a_thrust_58->n15_a_thrust_59 n15_a_thrust_61 VVN;_Tn_ n15_a_thrust_58->n15_a_thrust_61 n15_a_thrust_59->n15_a_thrust_60 n15_a_thrust_61->n15_a_thrust_62 n15_a_thrust_63->n15_a_thrust_64 
( (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))