( (IP-MAT (NP-SBJ (ADJP (ADJ Accurate;{accurate}))
                  (N shooting;{shooting})
                  (PP (P-ROLE from;{from})
                      (NP (NP-GEN;{PLAYER} (PRO;_genm_ your;{your}))
                          (N spaceship;{spaceship}))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_Tn_ destroy;{destroy})
                      (NP-OB1;{LIMPET} (D the;{the})
                                       (N limpet;{limpet})
                                       (NS guns;{gun})))
          (PUNC .))
  (ID 20_a_thrust))

arc(r_0020_0002__shooting,r_0020_0001__Accurate,attrib).
arc(r_0020_0002__shooting,r_0020_0005__spaceship,r_0020_0003__from).
arc(r_0020_0005__spaceship,r_0020_0004__your,gen).
arc(r_0020_0006__will,r_0020_0007__destroy,scope).
arc(r_0020_0007__destroy,r_0020_0002__shooting,arg0).
arc(r_0020_0007__destroy,r_0020_0008__the_r_0020_0009__limpet_r_0020_0010__guns,arg1).

fof(formula,axiom,
    ? [R_0020_0001__ACCURATE,R_0020_0004__YOUR,R_0020_0005__SPACESHIP,R_0020_0002__SHOOTING,R_0020_0008__THE_R_0020_0009__LIMPET_R_0020_0010__GUNS,R_0020_0006__WILL_R_0020_0007__DESTROY] :
      ( r_0020_0001__Accurate(R_0020_0001__ACCURATE)
      & r_0020_0004__your(R_0020_0004__YOUR)
      & r_0020_0008__the_r_0020_0009__limpet_r_0020_0010__guns(R_0020_0008__THE_R_0020_0009__LIMPET_R_0020_0010__GUNS)
      & r_0020_0006__will_r_0020_0007__destroy(R_0020_0006__WILL_R_0020_0007__DESTROY)
      & has_arg1(R_0020_0006__WILL_R_0020_0007__DESTROY,R_0020_0008__THE_R_0020_0009__LIMPET_R_0020_0010__GUNS)
      & has_arg0(R_0020_0006__WILL_R_0020_0007__DESTROY,R_0020_0002__SHOOTING)
      & r_0020_0002__shooting(R_0020_0002__SHOOTING)
      & has_r_0020_0003__from(R_0020_0002__SHOOTING,R_0020_0005__SPACESHIP)
      & r_0020_0005__spaceship(R_0020_0005__SPACESHIP)
      & has_gen(R_0020_0005__SPACESHIP,R_0020_0004__YOUR)
      & has_attrib(R_0020_0002__SHOOTING,R_0020_0001__ACCURATE) ) ).