Context                Previous, Next                Top


14_a_thrust
If you shoot the reactor repeatedly, it will become critically damaged.

%3 r_0014_0001__If If r_0014_0003__shoot shoot r_0014_0001__If->r_0014_0003__shoot [restriction] r_0014_0009__will will r_0014_0001__If->r_0014_0009__will [scope] r_0014_0002__you you r_0014_0003__shoot->r_0014_0002__you [arg0] r_0014_0004__the_r_0014_0005__reactor the reactor r_0014_0003__shoot->r_0014_0004__the_r_0014_0005__reactor [arg1] r_0014_0006__repeatedly repeatedly r_0014_0003__shoot->r_0014_0006__repeatedly [nim] r_0014_0010__become become r_0014_0009__will->r_0014_0010__become [scope] r_0014_0012__damaged damaged r_0014_0010__become->r_0014_0012__damaged [scope] r_0014_0012__damaged->r_0014_0004__the_r_0014_0005__reactor [arg1] r_0014_0011__critically critically r_0014_0012__damaged->r_0014_0011__critically [nim] z_000_14_a_thrust_30 r_0014_0012__damaged->z_000_14_a_thrust_30 [arg0] 
arc(r_0014_0001__If, r_0014_0003__shoot, restriction).
arc(r_0014_0001__If, r_0014_0009__will, scope).
arc(r_0014_0003__shoot, r_0014_0002__you, arg0).
arc(r_0014_0003__shoot, r_0014_0004__the_r_0014_0005__reactor, arg1).
arc(r_0014_0003__shoot, r_0014_0006__repeatedly, nim16).
arc(r_0014_0009__will, r_0014_0010__become, scope).
arc(r_0014_0010__become, r_0014_0012__damaged, scope).
arc(r_0014_0012__damaged, r_0014_0004__the_r_0014_0005__reactor, arg1).
arc(r_0014_0012__damaged, r_0014_0011__critically, nim32).
arc(r_0014_0012__damaged, z_000_14_a_thrust_30, arg0).


%3 r_0014_0001__If If r_0014_0003__shoot shoot r_0014_0001__If->r_0014_0003__shoot [restriction] r_0014_0009__will_r_0014_0010__become_r_0014_0012__damaged will become damaged r_0014_0001__If->r_0014_0009__will_r_0014_0010__become_r_0014_0012__damaged [scope] r_0014_0002__you you r_0014_0003__shoot->r_0014_0002__you [arg0] r_0014_0004__the_r_0014_0005__reactor the reactor r_0014_0003__shoot->r_0014_0004__the_r_0014_0005__reactor [arg1] r_0014_0006__repeatedly repeatedly r_0014_0003__shoot->r_0014_0006__repeatedly [nim] r_0014_0009__will_r_0014_0010__become_r_0014_0012__damaged->r_0014_0004__the_r_0014_0005__reactor [arg1] r_0014_0011__critically critically r_0014_0009__will_r_0014_0010__become_r_0014_0012__damaged->r_0014_0011__critically [nim] z_000_14_a_thrust_30 r_0014_0009__will_r_0014_0010__become_r_0014_0012__damaged->z_000_14_a_thrust_30 [arg0] 
fof(formula,axiom,
    ! [R_14_3_SHOOT,R_14_2_YOU,R_14_4_THE_REACTOR,R_14_6_REPEATEDLY] :
      ( ( you(R_14_2_YOU)
        & the_reactor(R_14_4_THE_REACTOR)
        & repeatedly(R_14_6_REPEATEDLY)
        & shoot(R_14_3_SHOOT,R_14_2_YOU,R_14_4_THE_REACTOR)
        & nim16(R_14_3_SHOOT,R_14_6_REPEATEDLY) )
     => ? [R_14_9_WILL_BECOME_DAMAGED,Z_14_A_THRUST_30,R_14_11_CRITICALLY] :
          ( critically(R_14_11_CRITICALLY)
          & will_become_damaged(R_14_9_WILL_BECOME_DAMAGED,Z_14_A_THRUST_30,R_14_4_THE_REACTOR)
          & nim32(R_14_9_WILL_BECOME_DAMAGED,R_14_11_CRITICALLY) ) ) ).


n14_a_thrust n14_a_thrust_4 If n14_a_thrust_8 you n14_a_thrust_10 shoot n14_a_thrust_13 the n14_a_thrust_15 reactor n14_a_thrust_18 repeatedly n14_a_thrust_20 , n14_a_thrust_23 it n14_a_thrust_25 will n14_a_thrust_28 become n14_a_thrust_31 * n14_a_thrust_34 critically n14_a_thrust_36 damaged n14_a_thrust_38 . n14_a_thrust_1 IP-MAT n14_a_thrust_2 PP-SCON n14_a_thrust_1->n14_a_thrust_2 n14_a_thrust_19 PUNC n14_a_thrust_1->n14_a_thrust_19 n14_a_thrust_21 NP-SBJ n14_a_thrust_1->n14_a_thrust_21 n14_a_thrust_24 MD;_cat_Vi_ n14_a_thrust_1->n14_a_thrust_24 n14_a_thrust_26 IP-INF-CAT n14_a_thrust_1->n14_a_thrust_26 n14_a_thrust_37 PUNC n14_a_thrust_1->n14_a_thrust_37 n14_a_thrust_3 P-CONN n14_a_thrust_2->n14_a_thrust_3 n14_a_thrust_5 IP-ADV n14_a_thrust_2->n14_a_thrust_5 n14_a_thrust_3->n14_a_thrust_4 n14_a_thrust_6 NP-SBJ n14_a_thrust_5->n14_a_thrust_6 n14_a_thrust_9 VBP;_Tn_ n14_a_thrust_5->n14_a_thrust_9 n14_a_thrust_11 NP-OB1 n14_a_thrust_5->n14_a_thrust_11 n14_a_thrust_16 ADVP-NIM n14_a_thrust_5->n14_a_thrust_16 n14_a_thrust_7 PRO n14_a_thrust_6->n14_a_thrust_7 n14_a_thrust_7->n14_a_thrust_8 n14_a_thrust_9->n14_a_thrust_10 n14_a_thrust_12 D n14_a_thrust_11->n14_a_thrust_12 n14_a_thrust_14 N n14_a_thrust_11->n14_a_thrust_14 n14_a_thrust_12->n14_a_thrust_13 n14_a_thrust_14->n14_a_thrust_15 n14_a_thrust_17 ADV n14_a_thrust_16->n14_a_thrust_17 n14_a_thrust_17->n14_a_thrust_18 n14_a_thrust_19->n14_a_thrust_20 n14_a_thrust_22 PRO n14_a_thrust_21->n14_a_thrust_22 n14_a_thrust_22->n14_a_thrust_23 n14_a_thrust_24->n14_a_thrust_25 n14_a_thrust_27 VB;_cat_VePASS_ n14_a_thrust_26->n14_a_thrust_27 n14_a_thrust_29 IP-PPL-CAT n14_a_thrust_26->n14_a_thrust_29 n14_a_thrust_27->n14_a_thrust_28 n14_a_thrust_30 NP-LGS n14_a_thrust_29->n14_a_thrust_30 n14_a_thrust_32 ADVP-NIM n14_a_thrust_29->n14_a_thrust_32 n14_a_thrust_35 VVN;_Tn_ n14_a_thrust_29->n14_a_thrust_35 n14_a_thrust_30->n14_a_thrust_31 n14_a_thrust_33 ADV n14_a_thrust_32->n14_a_thrust_33 n14_a_thrust_33->n14_a_thrust_34 n14_a_thrust_35->n14_a_thrust_36 n14_a_thrust_37->n14_a_thrust_38 
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ;{PLAYER} (PRO you;{you}))
                           (VBP;_Tn_ shoot;{shoot})
                           (NP-OB1;{REACTOR} (D the;{the})
                                             (N reactor;{reactor}))
                           (ADVP-NIM (ADV repeatedly;{repeatedly}))))
          (PUNC ,)
          (NP-SBJ;{REACTOR} (PRO it;{it}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_cat_VePASS_ become;{become})
                      (IP-PPL-CAT (NP-LGS *)
                                  (ADVP-NIM (ADV critically;{critically}))
                                  (VVN;_Tn_ damaged;{damage})))
          (PUNC .))
  (ID 14_a_thrust))