( (IP-MAT (IP-PPL-SBJ (VAG;_Tn_ Destroying;{destroy})
                      (NP-OB1 (D a;{a})
                              (N limpet;{limpet})
                              (N gun;{gun})))
          (PUNC ....)
          (NP-PRD (NUM 750)
                  (NS points;{point})))
  (ID 23_a_thrust))

arc(r_0023_0001__Destroying,r_0023_0002__a_r_0023_0003__limpet_r_0023_0004__gun,arg1).
arc(r_0023_0001__Destroying,z_0023_5003,arg0).
arc(z_0023_5007,r_0023_0001__Destroying,arg0).
arc(z_0023_5007,r_0023_0006__750_r_0023_0007__points,prd).

fof(formula,axiom,
    ? [R_0023_0002__A_R_0023_0003__LIMPET_R_0023_0004__GUN,Z_0023_5003,R_0023_0001__DESTROYING,R_0023_0006__750_R_0023_0007__POINTS,Z_0023_5007] :
      ( r_0023_0002__a_r_0023_0003__limpet_r_0023_0004__gun(R_0023_0002__A_R_0023_0003__LIMPET_R_0023_0004__GUN)
      & r_0023_0006__750_r_0023_0007__points(R_0023_0006__750_R_0023_0007__POINTS)
      & z_0023_5003(Z_0023_5003)
      & z_0023_5007(Z_0023_5007)
      & has_prd(Z_0023_5007,R_0023_0006__750_R_0023_0007__POINTS)
      & has_arg0(Z_0023_5007,R_0023_0001__DESTROYING)
      & r_0023_0001__Destroying(R_0023_0001__DESTROYING)
      & has_arg0(R_0023_0001__DESTROYING,Z_0023_5003)
      & has_arg1(R_0023_0001__DESTROYING,R_0023_0002__A_R_0023_0003__LIMPET_R_0023_0004__GUN) ) ).