arc(r_0023_0001__Destroying, r_0023_0002__a_r_0023_0003__limpet_r_0023_0004__gun, arg1).
arc(r_0023_0001__Destroying, z_000_23_a_thrust_2, arg0).
arc(z_000_23_a_thrust_1, r_0023_0001__Destroying, arg0).
arc(z_000_23_a_thrust_1, r_0023_0006__750_r_0023_0007__points, prd).

fof(formula,axiom,
    ? [Z_23_A_THRUST_1,R_23_1_DESTROYING,Z_23_A_THRUST_2,R_23_2_A_LIMPET_GUN,R_23_6_750_POINTS] :
      ( a_limpet_gun(R_23_2_A_LIMPET_GUN)
      & 750_points(R_23_6_750_POINTS)
      & z_23_a_thrust_1(Z_23_A_THRUST_1,R_23_1_DESTROYING,R_23_6_750_POINTS)
      & destroying(R_23_1_DESTROYING,Z_23_A_THRUST_2,R_23_2_A_LIMPET_GUN) ) ).

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