( (FRAG (NP (N Fuel;{fuel})
            (NS Tanks;{tank}))
        (PUNC :))
  (ID 21_a_thrust))

arc(z_0021_5004,r_0021_0001__Fuel_r_0021_0002__Tanks,z_0021_5002).

fof(formula,axiom,
    ? [R_0021_0001__FUEL_R_0021_0002__TANKS,Z_0021_5004] :
      ( r_0021_0001__Fuel_r_0021_0002__Tanks(R_0021_0001__FUEL_R_0021_0002__TANKS)
      & z_0021_5004(Z_0021_5004)
      & has_z_0021_5002(Z_0021_5004,R_0021_0001__FUEL_R_0021_0002__TANKS) ) ).