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_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_r_0012_0005__damage will damage r_0012_0004__will_r_0012_0005__damage->r_0012_0001__Shooting [arg0] r_0012_0004__will_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_r_0012_0005__damage [conj1] r_0012_0014__until until r_0012_0008__and->r_0012_0014__until [conj2] 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_0016__can_r_0012_0017__be_r_0012_0018__restored can be restored r_0012_0014__until->r_0012_0016__can_r_0012_0017__be_r_0012_0018__restored [conj1] 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_0015__power power r_0012_0016__can_r_0012_0017__be_r_0012_0018__restored->r_0012_0015__power [arg1] 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] 
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_6 Shooting n12_a_thrust_9 the n12_a_thrust_11 reactor n12_a_thrust_13 will n12_a_thrust_16 damage n12_a_thrust_19 it n12_a_thrust_21 , n12_a_thrust_24 and n12_a_thrust_28 the n12_a_thrust_30 guns n12_a_thrust_32 will n12_a_thrust_35 cease n12_a_thrust_38 firing n12_a_thrust_41 until n12_a_thrust_45 power n12_a_thrust_47 can n12_a_thrust_50 be n12_a_thrust_53 * n12_a_thrust_55 restored n12_a_thrust_57 . n12_a_thrust_1 IP-MAT n12_a_thrust_2 ILYR n12_a_thrust_1->n12_a_thrust_2 n12_a_thrust_56 PUNC n12_a_thrust_1->n12_a_thrust_56 n12_a_thrust_3 ILYR n12_a_thrust_2->n12_a_thrust_3 n12_a_thrust_20 PUNC n12_a_thrust_2->n12_a_thrust_20 n12_a_thrust_22 CONJP n12_a_thrust_2->n12_a_thrust_22 n12_a_thrust_4 IP-PPL-SBJ n12_a_thrust_3->n12_a_thrust_4 n12_a_thrust_12 MD;_cat_Vi_ n12_a_thrust_3->n12_a_thrust_12 n12_a_thrust_14 IP-INF-CAT n12_a_thrust_3->n12_a_thrust_14 n12_a_thrust_5 VAG;_Tn_ n12_a_thrust_4->n12_a_thrust_5 n12_a_thrust_7 NP-OB1 n12_a_thrust_4->n12_a_thrust_7 n12_a_thrust_5->n12_a_thrust_6 n12_a_thrust_8 D n12_a_thrust_7->n12_a_thrust_8 n12_a_thrust_10 N n12_a_thrust_7->n12_a_thrust_10 n12_a_thrust_8->n12_a_thrust_9 n12_a_thrust_10->n12_a_thrust_11 n12_a_thrust_12->n12_a_thrust_13 n12_a_thrust_15 VB;_Tn_ n12_a_thrust_14->n12_a_thrust_15 n12_a_thrust_17 NP-OB1 n12_a_thrust_14->n12_a_thrust_17 n12_a_thrust_15->n12_a_thrust_16 n12_a_thrust_18 PRO n12_a_thrust_17->n12_a_thrust_18 n12_a_thrust_18->n12_a_thrust_19 n12_a_thrust_20->n12_a_thrust_21 n12_a_thrust_23 CONJ n12_a_thrust_22->n12_a_thrust_23 n12_a_thrust_25 ILYR n12_a_thrust_22->n12_a_thrust_25 n12_a_thrust_23->n12_a_thrust_24 n12_a_thrust_26 NP-SBJ n12_a_thrust_25->n12_a_thrust_26 n12_a_thrust_31 MD;_cat_Vi_ n12_a_thrust_25->n12_a_thrust_31 n12_a_thrust_33 IP-INF-CAT n12_a_thrust_25->n12_a_thrust_33 n12_a_thrust_39 PP-SCON n12_a_thrust_25->n12_a_thrust_39 n12_a_thrust_27 D n12_a_thrust_26->n12_a_thrust_27 n12_a_thrust_29 NS n12_a_thrust_26->n12_a_thrust_29 n12_a_thrust_27->n12_a_thrust_28 n12_a_thrust_29->n12_a_thrust_30 n12_a_thrust_31->n12_a_thrust_32 n12_a_thrust_34 VB;_cat_Vg_ n12_a_thrust_33->n12_a_thrust_34 n12_a_thrust_36 IP-PPL-CAT n12_a_thrust_33->n12_a_thrust_36 n12_a_thrust_34->n12_a_thrust_35 n12_a_thrust_37 VAG;_I_ n12_a_thrust_36->n12_a_thrust_37 n12_a_thrust_37->n12_a_thrust_38 n12_a_thrust_40 P-CONN n12_a_thrust_39->n12_a_thrust_40 n12_a_thrust_42 IP-ADV n12_a_thrust_39->n12_a_thrust_42 n12_a_thrust_40->n12_a_thrust_41 n12_a_thrust_43 NP-SBJ n12_a_thrust_42->n12_a_thrust_43 n12_a_thrust_46 MD;_cat_Vi_ n12_a_thrust_42->n12_a_thrust_46 n12_a_thrust_48 IP-INF-CAT n12_a_thrust_42->n12_a_thrust_48 n12_a_thrust_44 N n12_a_thrust_43->n12_a_thrust_44 n12_a_thrust_44->n12_a_thrust_45 n12_a_thrust_46->n12_a_thrust_47 n12_a_thrust_49 BE;_cat_VePASS_ n12_a_thrust_48->n12_a_thrust_49 n12_a_thrust_51 IP-PPL-CAT n12_a_thrust_48->n12_a_thrust_51 n12_a_thrust_49->n12_a_thrust_50 n12_a_thrust_52 NP-LGS n12_a_thrust_51->n12_a_thrust_52 n12_a_thrust_54 VVN;_Tn_ n12_a_thrust_51->n12_a_thrust_54 n12_a_thrust_52->n12_a_thrust_53 n12_a_thrust_54->n12_a_thrust_55 n12_a_thrust_56->n12_a_thrust_57 
( (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))