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

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,nim).
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,nim).
arc(r_0014_0012__damaged,z_0014_5009___star_,arg0).

fof(formula,axiom,
    ! [R_0014_0003__SHOOT,R_0014_0002__YOU,R_0014_0004__THE_R_0014_0005__REACTOR,R_0014_0006__REPEATEDLY] :
      ( ( r_0014_0002__you(R_0014_0002__YOU)
        & r_0014_0004__the_r_0014_0005__reactor(R_0014_0004__THE_R_0014_0005__REACTOR)
        & r_0014_0006__repeatedly(R_0014_0006__REPEATEDLY)
        & r_0014_0003__shoot(R_0014_0003__SHOOT)
        & has_nim(R_0014_0003__SHOOT,R_0014_0006__REPEATEDLY)
        & has_arg1(R_0014_0003__SHOOT,R_0014_0004__THE_R_0014_0005__REACTOR)
        & has_arg0(R_0014_0003__SHOOT,R_0014_0002__YOU) )
     => ? [R_0014_0011__CRITICALLY,Z_0014_5009___STAR_,R_0014_0009__WILL_R_0014_0010__BECOME_R_0014_0012__DAMAGED] :
          ( r_0014_0011__critically(R_0014_0011__CRITICALLY)
          & z_0014_5009___star_(Z_0014_5009___STAR_)
          & r_0014_0009__will_r_0014_0010__become_r_0014_0012__damaged(R_0014_0009__WILL_R_0014_0010__BECOME_R_0014_0012__DAMAGED)
          & has_arg0(R_0014_0009__WILL_R_0014_0010__BECOME_R_0014_0012__DAMAGED,Z_0014_5009___STAR_)
          & has_nim(R_0014_0009__WILL_R_0014_0010__BECOME_R_0014_0012__DAMAGED,R_0014_0011__CRITICALLY)
          & has_arg1(R_0014_0009__WILL_R_0014_0010__BECOME_R_0014_0012__DAMAGED,R_0014_0004__THE_R_0014_0005__REACTOR) ) ) ).