Context                Previous, Next                Top


12_a_thrust
Shooting the reactor will damage it, and the guns will cease firing until power can be restored.

%3 r_0012_0001__Shooting Shooting r_0012_0002__the_r_0012_0003__reactor the reactor r_0012_0001__Shooting->r_0012_0002__the_r_0012_0003__reactor [arg1] z_000_12_a_thrust_4 r_0012_0001__Shooting->z_000_12_a_thrust_4 [arg0] r_0012_0004__will will r_0012_0005__damage damage r_0012_0004__will->r_0012_0005__damage [scope] r_0012_0005__damage->r_0012_0001__Shooting [arg0] r_0012_0005__damage->r_0012_0002__the_r_0012_0003__reactor [arg1] r_0012_0008__and and r_0012_0008__and->r_0012_0004__will [conj1] r_0012_0014__until until r_0012_0008__and->r_0012_0014__until [conj2] r_0012_0011__will will r_0012_0014__until->r_0012_0011__will [scope] r_0012_0016__can can r_0012_0014__until->r_0012_0016__can [restriction] r_0012_0012__cease cease r_0012_0011__will->r_0012_0012__cease [scope] r_0012_0013__firing firing r_0012_0012__cease->r_0012_0013__firing [scope] r_0012_0009__the_r_0012_0010__guns the guns r_0012_0013__firing->r_0012_0009__the_r_0012_0010__guns [arg0] r_0012_0017__be be r_0012_0016__can->r_0012_0017__be [scope] r_0012_0018__restored restored r_0012_0017__be->r_0012_0018__restored [scope] r_0012_0015__power power r_0012_0018__restored->r_0012_0015__power [arg1] z_000_12_a_thrust_52 r_0012_0018__restored->z_000_12_a_thrust_52 [arg0] 
arc(r_0012_0001__Shooting, r_0012_0002__the_r_0012_0003__reactor, arg1).
arc(r_0012_0001__Shooting, z_000_12_a_thrust_4, arg0).
arc(r_0012_0004__will, r_0012_0005__damage, scope).
arc(r_0012_0005__damage, r_0012_0001__Shooting, arg0).
arc(r_0012_0005__damage, r_0012_0002__the_r_0012_0003__reactor, arg1).
arc(r_0012_0008__and, r_0012_0004__will, conj1).
arc(r_0012_0008__and, r_0012_0014__until, conj2).
arc(r_0012_0011__will, r_0012_0012__cease, scope).
arc(r_0012_0012__cease, r_0012_0013__firing, scope).
arc(r_0012_0013__firing, r_0012_0009__the_r_0012_0010__guns, arg0).
arc(r_0012_0014__until, r_0012_0011__will, scope).
arc(r_0012_0014__until, r_0012_0016__can, restriction).
arc(r_0012_0016__can, r_0012_0017__be, scope).
arc(r_0012_0017__be, r_0012_0018__restored, scope).
arc(r_0012_0018__restored, r_0012_0015__power, arg1).
arc(r_0012_0018__restored, z_000_12_a_thrust_52, arg0).


%3 r_0012_0016__can_r_0012_0017__be_r_0012_0018__restored can be restored z_000_12_a_thrust_52 r_0012_0016__can_r_0012_0017__be_r_0012_0018__restored->z_000_12_a_thrust_52 [arg0] r_0012_0015__power power r_0012_0016__can_r_0012_0017__be_r_0012_0018__restored->r_0012_0015__power [arg1] r_0012_0014__until until r_0012_0014__until->r_0012_0016__can_r_0012_0017__be_r_0012_0018__restored [conj1] r_0012_0011__will_r_0012_0012__cease_r_0012_0013__firing will cease firing r_0012_0014__until->r_0012_0011__will_r_0012_0012__cease_r_0012_0013__firing [conj2] r_0012_0009__the_r_0012_0010__guns the guns r_0012_0011__will_r_0012_0012__cease_r_0012_0013__firing->r_0012_0009__the_r_0012_0010__guns [arg0] r_0012_0008__and and r_0012_0008__and->r_0012_0014__until [conj2] r_0012_0004__will_r_0012_0005__damage will damage r_0012_0008__and->r_0012_0004__will_r_0012_0005__damage [conj1] r_0012_0002__the_r_0012_0003__reactor the reactor r_0012_0004__will_r_0012_0005__damage->r_0012_0002__the_r_0012_0003__reactor [arg1] r_0012_0001__Shooting Shooting r_0012_0004__will_r_0012_0005__damage->r_0012_0001__Shooting [arg0] r_0012_0001__Shooting->r_0012_0002__the_r_0012_0003__reactor [arg1] z_000_12_a_thrust_4 r_0012_0001__Shooting->z_000_12_a_thrust_4 [arg0] 
fof(formula,axiom,
    ? [R_12_8_AND,R_12_4_WILL_DAMAGE,R_12_1_SHOOTING,Z_12_A_THRUST_4,R_12_2_THE_REACTOR,R_12_14_UNTIL,R_12_16_CAN_BE_RESTORED,Z_12_A_THRUST_52,R_12_15_POWER,R_12_11_WILL_CEASE_FIRING,R_12_9_THE_GUNS] :
      ( the_reactor(R_12_2_THE_REACTOR)
      & power(R_12_15_POWER)
      & the_guns(R_12_9_THE_GUNS)
      & and(R_12_8_AND)
      & conj1(R_12_8_AND,R_12_4_WILL_DAMAGE)
      & will_damage(R_12_4_WILL_DAMAGE,R_12_1_SHOOTING,R_12_2_THE_REACTOR)
      & shooting(R_12_1_SHOOTING,Z_12_A_THRUST_4,R_12_2_THE_REACTOR)
      & conj2(R_12_8_AND,R_12_14_UNTIL)
      & until(R_12_14_UNTIL)
      & conj1(R_12_14_UNTIL,R_12_16_CAN_BE_RESTORED)
      & can_be_restored(R_12_16_CAN_BE_RESTORED,Z_12_A_THRUST_52,R_12_15_POWER)
      & conj2(R_12_14_UNTIL,R_12_11_WILL_CEASE_FIRING)
      & will_cease_firing(R_12_11_WILL_CEASE_FIRING,R_12_9_THE_GUNS) ) ).


n12_a_thrust n12_a_thrust__1_1_1_1_1_1 Shooting n12_a_thrust__1_1_1_1_2_1_1 the n12_a_thrust__1_1_1_1_2_2_1 reactor n12_a_thrust__1_1_1_2_1 will n12_a_thrust__1_1_1_3_1_1 damage n12_a_thrust__1_1_1_3_2_1_1 it n12_a_thrust__1_1_2_1 , n12_a_thrust__1_1_3_1_1 and n12_a_thrust__1_1_3_2_1_1_1 the n12_a_thrust__1_1_3_2_1_2_1 guns n12_a_thrust__1_1_3_2_2_1 will n12_a_thrust__1_1_3_2_3_1_1 cease n12_a_thrust__1_1_3_2_3_2_1_1 firing n12_a_thrust__1_1_3_2_4_1_1 until n12_a_thrust__1_1_3_2_4_2_1_1_1 power n12_a_thrust__1_1_3_2_4_2_2_1 can n12_a_thrust__1_1_3_2_4_2_3_1_1 be n12_a_thrust__1_1_3_2_4_2_3_2_1_1 * n12_a_thrust__1_1_3_2_4_2_3_2_2_1 restored n12_a_thrust__1_2_1 . n12_a_thrust__1 IP-MAT n12_a_thrust__1_1 ILYR n12_a_thrust__1->n12_a_thrust__1_1 n12_a_thrust__1_2 PUNC n12_a_thrust__1->n12_a_thrust__1_2 n12_a_thrust__1_1_1 ILYR n12_a_thrust__1_1->n12_a_thrust__1_1_1 n12_a_thrust__1_1_2 PUNC n12_a_thrust__1_1->n12_a_thrust__1_1_2 n12_a_thrust__1_1_3 CONJP n12_a_thrust__1_1->n12_a_thrust__1_1_3 n12_a_thrust__1_1_1_1 IP-PPL-SBJ n12_a_thrust__1_1_1->n12_a_thrust__1_1_1_1 n12_a_thrust__1_1_1_2 MD;_cat_Vi_ n12_a_thrust__1_1_1->n12_a_thrust__1_1_1_2 n12_a_thrust__1_1_1_3 IP-INF-CAT n12_a_thrust__1_1_1->n12_a_thrust__1_1_1_3 n12_a_thrust__1_1_1_1_1 VAG;_Tn_ n12_a_thrust__1_1_1_1->n12_a_thrust__1_1_1_1_1 n12_a_thrust__1_1_1_1_2 NP-OB1 n12_a_thrust__1_1_1_1->n12_a_thrust__1_1_1_1_2 n12_a_thrust__1_1_1_1_1->n12_a_thrust__1_1_1_1_1_1 n12_a_thrust__1_1_1_1_2_1 D n12_a_thrust__1_1_1_1_2->n12_a_thrust__1_1_1_1_2_1 n12_a_thrust__1_1_1_1_2_2 N n12_a_thrust__1_1_1_1_2->n12_a_thrust__1_1_1_1_2_2 n12_a_thrust__1_1_1_1_2_1->n12_a_thrust__1_1_1_1_2_1_1 n12_a_thrust__1_1_1_1_2_2->n12_a_thrust__1_1_1_1_2_2_1 n12_a_thrust__1_1_1_2->n12_a_thrust__1_1_1_2_1 n12_a_thrust__1_1_1_3_1 VB;_Tn_ n12_a_thrust__1_1_1_3->n12_a_thrust__1_1_1_3_1 n12_a_thrust__1_1_1_3_2 NP-OB1 n12_a_thrust__1_1_1_3->n12_a_thrust__1_1_1_3_2 n12_a_thrust__1_1_1_3_1->n12_a_thrust__1_1_1_3_1_1 n12_a_thrust__1_1_1_3_2_1 PRO n12_a_thrust__1_1_1_3_2->n12_a_thrust__1_1_1_3_2_1 n12_a_thrust__1_1_1_3_2_1->n12_a_thrust__1_1_1_3_2_1_1 n12_a_thrust__1_1_2->n12_a_thrust__1_1_2_1 n12_a_thrust__1_1_3_1 CONJ n12_a_thrust__1_1_3->n12_a_thrust__1_1_3_1 n12_a_thrust__1_1_3_2 ILYR n12_a_thrust__1_1_3->n12_a_thrust__1_1_3_2 n12_a_thrust__1_1_3_1->n12_a_thrust__1_1_3_1_1 n12_a_thrust__1_1_3_2_1 NP-SBJ n12_a_thrust__1_1_3_2->n12_a_thrust__1_1_3_2_1 n12_a_thrust__1_1_3_2_2 MD;_cat_Vi_ n12_a_thrust__1_1_3_2->n12_a_thrust__1_1_3_2_2 n12_a_thrust__1_1_3_2_3 IP-INF-CAT n12_a_thrust__1_1_3_2->n12_a_thrust__1_1_3_2_3 n12_a_thrust__1_1_3_2_4 PP-SCON n12_a_thrust__1_1_3_2->n12_a_thrust__1_1_3_2_4 n12_a_thrust__1_1_3_2_1_1 D n12_a_thrust__1_1_3_2_1->n12_a_thrust__1_1_3_2_1_1 n12_a_thrust__1_1_3_2_1_2 NS n12_a_thrust__1_1_3_2_1->n12_a_thrust__1_1_3_2_1_2 n12_a_thrust__1_1_3_2_1_1->n12_a_thrust__1_1_3_2_1_1_1 n12_a_thrust__1_1_3_2_1_2->n12_a_thrust__1_1_3_2_1_2_1 n12_a_thrust__1_1_3_2_2->n12_a_thrust__1_1_3_2_2_1 n12_a_thrust__1_1_3_2_3_1 VB;_cat_Vg_ n12_a_thrust__1_1_3_2_3->n12_a_thrust__1_1_3_2_3_1 n12_a_thrust__1_1_3_2_3_2 IP-PPL-CAT n12_a_thrust__1_1_3_2_3->n12_a_thrust__1_1_3_2_3_2 n12_a_thrust__1_1_3_2_3_1->n12_a_thrust__1_1_3_2_3_1_1 n12_a_thrust__1_1_3_2_3_2_1 VAG;_I_ n12_a_thrust__1_1_3_2_3_2->n12_a_thrust__1_1_3_2_3_2_1 n12_a_thrust__1_1_3_2_3_2_1->n12_a_thrust__1_1_3_2_3_2_1_1 n12_a_thrust__1_1_3_2_4_1 P-CONN n12_a_thrust__1_1_3_2_4->n12_a_thrust__1_1_3_2_4_1 n12_a_thrust__1_1_3_2_4_2 IP-ADV n12_a_thrust__1_1_3_2_4->n12_a_thrust__1_1_3_2_4_2 n12_a_thrust__1_1_3_2_4_1->n12_a_thrust__1_1_3_2_4_1_1 n12_a_thrust__1_1_3_2_4_2_1 NP-SBJ n12_a_thrust__1_1_3_2_4_2->n12_a_thrust__1_1_3_2_4_2_1 n12_a_thrust__1_1_3_2_4_2_2 MD;_cat_Vi_ n12_a_thrust__1_1_3_2_4_2->n12_a_thrust__1_1_3_2_4_2_2 n12_a_thrust__1_1_3_2_4_2_3 IP-INF-CAT n12_a_thrust__1_1_3_2_4_2->n12_a_thrust__1_1_3_2_4_2_3 n12_a_thrust__1_1_3_2_4_2_1_1 N n12_a_thrust__1_1_3_2_4_2_1->n12_a_thrust__1_1_3_2_4_2_1_1 n12_a_thrust__1_1_3_2_4_2_1_1->n12_a_thrust__1_1_3_2_4_2_1_1_1 n12_a_thrust__1_1_3_2_4_2_2->n12_a_thrust__1_1_3_2_4_2_2_1 n12_a_thrust__1_1_3_2_4_2_3_1 BE;_cat_VePASS_ n12_a_thrust__1_1_3_2_4_2_3->n12_a_thrust__1_1_3_2_4_2_3_1 n12_a_thrust__1_1_3_2_4_2_3_2 IP-PPL-CAT n12_a_thrust__1_1_3_2_4_2_3->n12_a_thrust__1_1_3_2_4_2_3_2 n12_a_thrust__1_1_3_2_4_2_3_1->n12_a_thrust__1_1_3_2_4_2_3_1_1 n12_a_thrust__1_1_3_2_4_2_3_2_1 NP-LGS n12_a_thrust__1_1_3_2_4_2_3_2->n12_a_thrust__1_1_3_2_4_2_3_2_1 n12_a_thrust__1_1_3_2_4_2_3_2_2 VVN;_Tn_ n12_a_thrust__1_1_3_2_4_2_3_2->n12_a_thrust__1_1_3_2_4_2_3_2_2 n12_a_thrust__1_1_3_2_4_2_3_2_1->n12_a_thrust__1_1_3_2_4_2_3_2_1_1 n12_a_thrust__1_1_3_2_4_2_3_2_2->n12_a_thrust__1_1_3_2_4_2_3_2_2_1 n12_a_thrust__1_2->n12_a_thrust__1_2_1 
( (IP-MAT (ILYR (ILYR (IP-PPL-SBJ (VAG;_Tn_ Shooting;{shoot})
                                  (NP-OB1;{REACTOR} (D the;{the})
                                                    (N reactor;{reactor})))
                      (MD;_cat_Vi_ will;{will})
                      (IP-INF-CAT (VB;_Tn_ damage;{damage})
                                  (NP-OB1;{REACTOR} (PRO it;{it}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (NS guns;{gun}))
                             (MD;_cat_Vi_ will;{will})
                             (IP-INF-CAT (VB;_cat_Vg_ cease;{cease})
                                         (IP-PPL-CAT (VAG;_I_ firing;{fire})))
                             (PP-SCON (P-CONN until;{until})
                                      (IP-ADV (NP-SBJ (N power;{power}))
                                              (MD;_cat_Vi_ can;{can})
                                              (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                          (IP-PPL-CAT;{RESTORE_POWER} (NP-LGS *)
                                                                                      (VVN;_Tn_ restored;{restore}))))))))
          (PUNC .))
  (ID 12_a_thrust))