( (IP-MAT (IP-PPL-SBJ (VAG;_Tn_ Collecting;{collect})
                      (NP-OB1 (D a;{a})
                              (N fuel;{fuel})
                              (N tank;{tank})))
          (PUNC .....)
          (NP-PRD (NUM 300)
                  (NS points;{point})))
  (ID 25_a_thrust))

arc(r_0025_0001__Collecting,r_0025_0002__a_r_0025_0003__fuel_r_0025_0004__tank,arg1).
arc(r_0025_0001__Collecting,z_0025_5003,arg0).
arc(z_0025_5007,r_0025_0001__Collecting,arg0).
arc(z_0025_5007,r_0025_0006__300_r_0025_0007__points,prd).

fof(formula,axiom,
    ? [R_0025_0002__A_R_0025_0003__FUEL_R_0025_0004__TANK,Z_0025_5003,R_0025_0001__COLLECTING,R_0025_0006__300_R_0025_0007__POINTS,Z_0025_5007] :
      ( r_0025_0002__a_r_0025_0003__fuel_r_0025_0004__tank(R_0025_0002__A_R_0025_0003__FUEL_R_0025_0004__TANK)
      & r_0025_0006__300_r_0025_0007__points(R_0025_0006__300_R_0025_0007__POINTS)
      & z_0025_5003(Z_0025_5003)
      & z_0025_5007(Z_0025_5007)
      & has_prd(Z_0025_5007,R_0025_0006__300_R_0025_0007__POINTS)
      & has_arg0(Z_0025_5007,R_0025_0001__COLLECTING)
      & r_0025_0001__Collecting(R_0025_0001__COLLECTING)
      & has_arg0(R_0025_0001__COLLECTING,Z_0025_5003)
      & has_arg1(R_0025_0001__COLLECTING,R_0025_0002__A_R_0025_0003__FUEL_R_0025_0004__TANK) ) ).