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).

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) ) ) ).

( (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))