( (IP-MAT (IP-PPL-SBJ (VAG;_Tn_ Destroying;{destroy})
                      (NP-OB1 (D a;{a})
                              (N fuel;{fuel})
                              (N tank;{tank})))
          (PUNC .....)
          (NP-PRD (NUM 150)
                  (NS points;{point})))
  (ID 24_a_thrust))

arc(r_0024_0001__Destroying,r_0024_0002__a_r_0024_0003__fuel_r_0024_0004__tank,arg1).
arc(r_0024_0001__Destroying,z_0024_5003,arg0).
arc(z_0024_5007,r_0024_0001__Destroying,arg0).
arc(z_0024_5007,r_0024_0006__150_r_0024_0007__points,prd).

fof(formula,axiom,
    ? [R_0024_0002__A_R_0024_0003__FUEL_R_0024_0004__TANK,Z_0024_5003,R_0024_0001__DESTROYING,R_0024_0006__150_R_0024_0007__POINTS,Z_0024_5007] :
      ( r_0024_0002__a_r_0024_0003__fuel_r_0024_0004__tank(R_0024_0002__A_R_0024_0003__FUEL_R_0024_0004__TANK)
      & r_0024_0006__150_r_0024_0007__points(R_0024_0006__150_R_0024_0007__POINTS)
      & z_0024_5003(Z_0024_5003)
      & z_0024_5007(Z_0024_5007)
      & has_prd(Z_0024_5007,R_0024_0006__150_R_0024_0007__POINTS)
      & has_arg0(Z_0024_5007,R_0024_0001__DESTROYING)
      & r_0024_0001__Destroying(R_0024_0001__DESTROYING)
      & has_arg0(R_0024_0001__DESTROYING,Z_0024_5003)
      & has_arg1(R_0024_0001__DESTROYING,R_0024_0002__A_R_0024_0003__FUEL_R_0024_0004__TANK) ) ).