arc(r_0005_0001__To_r_0005_0002__do, r_0005_0003__so, clr8).
arc(r_0005_0001__To_r_0005_0002__do, z_000_5_a_thrust_3, arg0).
arc(r_0005_0005__must, r_0005_0021__and, scope).
arc(r_0005_0006__locate, r_0005_0004__you, arg0).
arc(r_0005_0006__locate, r_0005_0007__the_r_0005_0008__pod, arg1).
arc(r_0005_0010__hover, r_0005_0004__you, arg0).
arc(r_0005_0010__hover, r_0005_0007__the_r_0005_0008__pod, r_0005_0011__just_r_0005_0012__above_clr37).
arc(r_0005_0015__activate, r_0005_0004__you, arg0).
arc(r_0005_0015__activate, r_0005_0019__tractor_r_0005_0020__beam, arg1).
arc(r_0005_0017__starship_r_0005_0018___apos_s, r_0005_0004__you, gen).
arc(r_0005_0019__tractor_r_0005_0020__beam, r_0005_0017__starship_r_0005_0018___apos_s, gen).
arc(r_0005_0021__and, r_0005_0006__locate, conj1).
arc(r_0005_0021__and, r_0005_0010__hover, conj2).
arc(r_0005_0021__and, r_0005_0015__activate, conj3).
arc(r_0005_0021__and, r_0005_0022__thrust, conj4).
arc(r_0005_0022__thrust, r_0005_0004__you, arg0).
arc(r_0005_0022__thrust, r_0005_0024__the_r_0005_0025__pod, r_0005_0023__away_from_nim68).
arc(z_000_5_a_thrust_2, r_0005_0001__To_r_0005_0002__do, restriction).
arc(z_000_5_a_thrust_2, r_0005_0005__must, scope).

fof(formula,axiom,
    ? [R_0005_0003__SO,Z_000_5_A_THRUST_3,R_0005_0001__TO_R_0005_0002__DO,R_0005_0004__YOU,R_0005_0007__THE_R_0005_0008__POD,R_0005_0006__LOCATE,R_0005_0010__HOVER,R_0005_0017__STARSHIP_R_0005_0018___APOS_S,R_0005_0019__TRACTOR_R_0005_0020__BEAM,R_0005_0015__ACTIVATE,R_0005_0024__THE_R_0005_0025__POD,R_0005_0022__THRUST,R_0005_0021__AND,R_0005_0005__MUST,Z_000_5_A_THRUST_2] :
      ( r_0005_0003__so(R_0005_0003__SO)
      & r_0005_0004__you(R_0005_0004__YOU)
      & r_0005_0007__the_r_0005_0008__pod(R_0005_0007__THE_R_0005_0008__POD)
      & r_0005_0024__the_r_0005_0025__pod(R_0005_0024__THE_R_0005_0025__POD)
      & z_000_5_a_thrust_3(Z_000_5_A_THRUST_3)
      & z_000_5_a_thrust_2(Z_000_5_A_THRUST_2)
      & has_conj2(Z_000_5_A_THRUST_2,R_0005_0005__MUST)
      & r_0005_0005__must(R_0005_0005__MUST)
      & has_keep_scope(R_0005_0005__MUST,R_0005_0021__AND)
      & r_0005_0021__and(R_0005_0021__AND)
      & has_conj4(R_0005_0021__AND,R_0005_0022__THRUST)
      & r_0005_0022__thrust(R_0005_0022__THRUST)
      & has_r_0005_0023__away_from_nim68(R_0005_0022__THRUST,R_0005_0024__THE_R_0005_0025__POD)
      & has_arg0(R_0005_0022__THRUST,R_0005_0004__YOU)
      & has_conj3(R_0005_0021__AND,R_0005_0015__ACTIVATE)
      & r_0005_0015__activate(R_0005_0015__ACTIVATE)
      & has_arg1(R_0005_0015__ACTIVATE,R_0005_0019__TRACTOR_R_0005_0020__BEAM)
      & r_0005_0019__tractor_r_0005_0020__beam(R_0005_0019__TRACTOR_R_0005_0020__BEAM)
      & has_gen(R_0005_0019__TRACTOR_R_0005_0020__BEAM,R_0005_0017__STARSHIP_R_0005_0018___APOS_S)
      & r_0005_0017__starship_r_0005_0018___apos_s(R_0005_0017__STARSHIP_R_0005_0018___APOS_S)
      & has_gen(R_0005_0017__STARSHIP_R_0005_0018___APOS_S,R_0005_0004__YOU)
      & has_arg0(R_0005_0015__ACTIVATE,R_0005_0004__YOU)
      & has_conj2(R_0005_0021__AND,R_0005_0010__HOVER)
      & r_0005_0010__hover(R_0005_0010__HOVER)
      & has_r_0005_0011__just_r_0005_0012__above_clr37(R_0005_0010__HOVER,R_0005_0007__THE_R_0005_0008__POD)
      & has_arg0(R_0005_0010__HOVER,R_0005_0004__YOU)
      & has_conj1(R_0005_0021__AND,R_0005_0006__LOCATE)
      & r_0005_0006__locate(R_0005_0006__LOCATE)
      & has_arg1(R_0005_0006__LOCATE,R_0005_0007__THE_R_0005_0008__POD)
      & has_arg0(R_0005_0006__LOCATE,R_0005_0004__YOU)
      & has_conj1(Z_000_5_A_THRUST_2,R_0005_0001__TO_R_0005_0002__DO)
      & r_0005_0001__To_r_0005_0002__do(R_0005_0001__TO_R_0005_0002__DO)
      & has_arg0(R_0005_0001__TO_R_0005_0002__DO,Z_000_5_A_THRUST_3)
      & has_clr8(R_0005_0001__TO_R_0005_0002__DO,R_0005_0003__SO) ) ).

( (IP-MAT (PP-SCON (IP-INF3 (TO To;{to})
                            (DO do;{do})
                            (ADVP-CLR (ADV so;{so}))))
          (NP-SBJ;{PLAYER} (PRO you;{you}))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (ILYR (ILYR (VB;_Tn_ locate;{locate})
                                  (NP-OB1;{POD} (D the;{the})
                                                (N pod;{pod})))
                            (PUNC ,)
                            (CONJP (ILYR (VB;_Ipr_ hover;{hover[above]})
                                         (PP-CLR (ADV just;{just})
                                                 (P-ROLE above;{above})
                                                 (NP;{POD} (PRO it;{it})))))
                            (PUNC ,)
                            (CONJP (ILYR (VB;_Tn_ activate;{activate})
                                         (NP-OB1;{BEAM} (NP-GEN (NP-GEN;{PLAYER} (PRO;_genm_ your;{your}))
                                                                (N starship;{starship})
                                                                (GENM <apos>s))
                                                        (N tractor;{tractor})
                                                        (N beam;{beam}))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_I_ thrust;{thrust})
                                         (PP-NIM (P-ROLE away_from;{away_from})
                                                 (NP;{POD} (D the;{the})
                                                           (N pod;{pod})))))))
          (PUNC .))
  (ID 5_a_thrust))