( (IP-IMP (PP-SCON (IP-INF (TO To;{to})
                           (VB;_Tn_ collect;{collect})
                           (NP-OB1 (N fuel;{fuel}))))
          (PUNC ,)
          (ILYR (ILYR (VB;_Ipr_ hover;{hover[above]})
                      (PP-CLR (ADVP-NIM (ADV just;{just}))
                              (P-ROLE above;{above})
                              (NP (D a;{a})
                                  (N fuel;{fuel})
                                  (N tank;{tank}))))
                (CONJP (CONJ and;{and})
                       (ILYR (VB;_Tn_ activate;{activate})
                             (NP-OB1 (D the;{the})
                                     (N tractor;{tractor})
                                     (N beam;{beam})))))
          (PUNC .))
  (ID 22_a_thrust))

arc(r_0022_0002__collect,r_0022_0003__fuel,arg1).
arc(r_0022_0002__collect,z_0022_5002,arg0).
arc(r_0022_0005__hover_r_0022_0006__just_r_0022_0007__above,r_0022_0008__a_r_0022_0009__fuel_r_0022_0010__tank,arg1).
arc(r_0022_0005__hover_r_0022_0006__just_r_0022_0007__above,z_0022_5002,arg0).
arc(r_0022_0011__and,r_0022_0005__hover_r_0022_0006__just_r_0022_0007__above,conj1).
arc(r_0022_0011__and,r_0022_0012__activate,conj2).
arc(r_0022_0012__activate,r_0022_0013__the_r_0022_0014__tractor_r_0022_0015__beam,arg1).
arc(r_0022_0012__activate,z_0022_5002,arg0).
arc(z_0022_5003,r_0022_0002__collect,restriction).
arc(z_0022_5003,r_0022_0011__and,scope).

fof(formula,axiom,
    ? [R_0022_0003__FUEL,Z_0022_5002,R_0022_0002__COLLECT,R_0022_0008__A_R_0022_0009__FUEL_R_0022_0010__TANK,R_0022_0005__HOVER_R_0022_0006__JUST_R_0022_0007__ABOVE,R_0022_0013__THE_R_0022_0014__TRACTOR_R_0022_0015__BEAM,R_0022_0012__ACTIVATE,R_0022_0011__AND,Z_0022_5003] :
      ( r_0022_0003__fuel(R_0022_0003__FUEL)
      & r_0022_0008__a_r_0022_0009__fuel_r_0022_0010__tank(R_0022_0008__A_R_0022_0009__FUEL_R_0022_0010__TANK)
      & r_0022_0013__the_r_0022_0014__tractor_r_0022_0015__beam(R_0022_0013__THE_R_0022_0014__TRACTOR_R_0022_0015__BEAM)
      & z_0022_5002(Z_0022_5002)
      & z_0022_5003(Z_0022_5003)
      & has_conj2(Z_0022_5003,R_0022_0011__AND)
      & r_0022_0011__and(R_0022_0011__AND)
      & has_conj2(R_0022_0011__AND,R_0022_0012__ACTIVATE)
      & r_0022_0012__activate(R_0022_0012__ACTIVATE)
      & has_arg0(R_0022_0012__ACTIVATE,Z_0022_5002)
      & has_arg1(R_0022_0012__ACTIVATE,R_0022_0013__THE_R_0022_0014__TRACTOR_R_0022_0015__BEAM)
      & has_conj1(R_0022_0011__AND,R_0022_0005__HOVER_R_0022_0006__JUST_R_0022_0007__ABOVE)
      & r_0022_0005__hover_r_0022_0006__just_r_0022_0007__above(R_0022_0005__HOVER_R_0022_0006__JUST_R_0022_0007__ABOVE)
      & has_arg0(R_0022_0005__HOVER_R_0022_0006__JUST_R_0022_0007__ABOVE,Z_0022_5002)
      & has_arg1(R_0022_0005__HOVER_R_0022_0006__JUST_R_0022_0007__ABOVE,R_0022_0008__A_R_0022_0009__FUEL_R_0022_0010__TANK)
      & has_conj1(Z_0022_5003,R_0022_0002__COLLECT)
      & r_0022_0002__collect(R_0022_0002__COLLECT)
      & has_arg0(R_0022_0002__COLLECT,Z_0022_5002)
      & has_arg1(R_0022_0002__COLLECT,R_0022_0003__FUEL) ) ).