Context                Previous, Next                Top


5_a_thrust
To do so you must locate the pod, hover just above it, activate your starship's tractor beam and thrust away from the pod.

%3 r_0005_0001__To_r_0005_0002__do To do r_0005_0003__so so r_0005_0001__To_r_0005_0002__do->r_0005_0003__so [clr] z_000_5_a_thrust_3 r_0005_0001__To_r_0005_0002__do->z_000_5_a_thrust_3 [arg0] r_0005_0005__must must r_0005_0021__and and r_0005_0005__must->r_0005_0021__and [scope] r_0005_0006__locate locate r_0005_0021__and->r_0005_0006__locate [conj1] r_0005_0010__hover hover r_0005_0021__and->r_0005_0010__hover [conj2] r_0005_0015__activate activate r_0005_0021__and->r_0005_0015__activate [conj3] r_0005_0022__thrust thrust r_0005_0021__and->r_0005_0022__thrust [conj4] r_0005_0004__you you r_0005_0006__locate->r_0005_0004__you [arg0] r_0005_0007__the_r_0005_0008__pod the pod r_0005_0006__locate->r_0005_0007__the_r_0005_0008__pod [arg1] r_0005_0010__hover->r_0005_0004__you [arg0] r_0005_0010__hover->r_0005_0007__the_r_0005_0008__pod just above [clr] r_0005_0015__activate->r_0005_0004__you [arg0] r_0005_0019__tractor_r_0005_0020__beam tractor beam r_0005_0015__activate->r_0005_0019__tractor_r_0005_0020__beam [arg1] r_0005_0017__starship_r_0005_0018___apos_s starship 's r_0005_0019__tractor_r_0005_0020__beam->r_0005_0017__starship_r_0005_0018___apos_s [gen] r_0005_0017__starship_r_0005_0018___apos_s->r_0005_0004__you [gen] r_0005_0022__thrust->r_0005_0004__you [arg0] r_0005_0024__the_r_0005_0025__pod the pod r_0005_0022__thrust->r_0005_0024__the_r_0005_0025__pod away from [nim] z_000_5_a_thrust_2 z_000_5_a_thrust_2->r_0005_0001__To_r_0005_0002__do [restriction] z_000_5_a_thrust_2->r_0005_0005__must [scope] 
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).


%3 r_0005_0005__must must r_0005_0021__and and r_0005_0005__must->r_0005_0021__and [keep_scope] r_0005_0022__thrust thrust r_0005_0021__and->r_0005_0022__thrust [conj4] r_0005_0015__activate activate r_0005_0021__and->r_0005_0015__activate [conj3] r_0005_0010__hover hover r_0005_0021__and->r_0005_0010__hover [conj2] r_0005_0006__locate locate r_0005_0021__and->r_0005_0006__locate [conj1] z_000_5_a_thrust_2 z_000_5_a_thrust_2->r_0005_0005__must [conj2] r_0005_0001__To_r_0005_0002__do To do z_000_5_a_thrust_2->r_0005_0001__To_r_0005_0002__do [conj1] z_000_5_a_thrust_3 r_0005_0001__To_r_0005_0002__do->z_000_5_a_thrust_3 [arg0] r_0005_0003__so so r_0005_0001__To_r_0005_0002__do->r_0005_0003__so [clr] r_0005_0024__the_r_0005_0025__pod the pod r_0005_0022__thrust->r_0005_0024__the_r_0005_0025__pod away from [nim] r_0005_0004__you you r_0005_0022__thrust->r_0005_0004__you [arg0] r_0005_0015__activate->r_0005_0004__you [arg0] r_0005_0019__tractor_r_0005_0020__beam tractor beam r_0005_0015__activate->r_0005_0019__tractor_r_0005_0020__beam [arg1] r_0005_0010__hover->r_0005_0004__you [arg0] r_0005_0007__the_r_0005_0008__pod the pod r_0005_0010__hover->r_0005_0007__the_r_0005_0008__pod just above [clr] r_0005_0006__locate->r_0005_0004__you [arg0] r_0005_0006__locate->r_0005_0007__the_r_0005_0008__pod [arg1] r_0005_0017__starship_r_0005_0018___apos_s starship 's r_0005_0019__tractor_r_0005_0020__beam->r_0005_0017__starship_r_0005_0018___apos_s [gen] r_0005_0017__starship_r_0005_0018___apos_s->r_0005_0004__you [gen] 
fof(formula,axiom,
    ? [Z_5_A_THRUST_2,R_5_1_TO_DO,Z_5_A_THRUST_3,R_5_3_SO] :
      ( so(R_5_3_SO)
      & z_5_a_thrust_2(Z_5_A_THRUST_2)
      & conj1(Z_5_A_THRUST_2,R_5_1_TO_DO)
      & to_do(R_5_1_TO_DO,Z_5_A_THRUST_3)
      & clr8(R_5_1_TO_DO,R_5_3_SO)
      & conj2(Z_5_A_THRUST_2,R_5_5_MUST)
      & ~ ? [R_5_21_AND,R_5_6_LOCATE,R_5_10_HOVER,R_5_7_THE_POD,R_5_15_ACTIVATE,R_5_19_TRACTOR_BEAM,R_5_17_STARSHIP_APOS_S,R_5_22_THRUST,R_5_4_YOU,R_5_24_THE_POD] :
            ( the_pod(R_5_7_THE_POD)
            & you(R_5_4_YOU)
            & the_pod(R_5_24_THE_POD)
            & and(R_5_21_AND)
            & conj1(R_5_21_AND,R_5_6_LOCATE)
            & locate(R_5_6_LOCATE,R_5_4_YOU,R_5_7_THE_POD)
            & conj2(R_5_21_AND,R_5_10_HOVER)
            & hover(R_5_10_HOVER,R_5_4_YOU)
            & just_above_clr37(R_5_10_HOVER,R_5_7_THE_POD)
            & conj3(R_5_21_AND,R_5_15_ACTIVATE)
            & activate(R_5_15_ACTIVATE,R_5_4_YOU,R_5_19_TRACTOR_BEAM)
            & tractor_beam(R_5_19_TRACTOR_BEAM)
            & gen(R_5_19_TRACTOR_BEAM,R_5_17_STARSHIP_APOS_S)
            & starship_apos_s(R_5_17_STARSHIP_APOS_S)
            & gen(R_5_17_STARSHIP_APOS_S,R_5_4_YOU)
            & conj4(R_5_21_AND,R_5_22_THRUST)
            & thrust(R_5_22_THRUST,R_5_4_YOU)
            & away_from_nim68(R_5_22_THRUST,R_5_24_THE_POD) ) ) ).


n5_a_thrust n5_a_thrust__1_1_1_1_1 To n5_a_thrust__1_1_1_2_1 do n5_a_thrust__1_1_1_3_1_1 so n5_a_thrust__1_2_1_1 you n5_a_thrust__1_3_1 must n5_a_thrust__1_4_1_1_1_1 locate n5_a_thrust__1_4_1_1_2_1_1 the n5_a_thrust__1_4_1_1_2_2_1 pod n5_a_thrust__1_4_1_2_1 , n5_a_thrust__1_4_1_3_1_1_1 hover n5_a_thrust__1_4_1_3_1_2_1_1 just n5_a_thrust__1_4_1_3_1_2_2_1 above n5_a_thrust__1_4_1_3_1_2_3_1_1 it n5_a_thrust__1_4_1_4_1 , n5_a_thrust__1_4_1_5_1_1_1 activate n5_a_thrust__1_4_1_5_1_2_1_1_1_1 your n5_a_thrust__1_4_1_5_1_2_1_2_1 starship n5_a_thrust__1_4_1_5_1_2_1_3_1 's n5_a_thrust__1_4_1_5_1_2_2_1 tractor n5_a_thrust__1_4_1_5_1_2_3_1 beam n5_a_thrust__1_4_1_6_1_1 and n5_a_thrust__1_4_1_6_2_1_1 thrust n5_a_thrust__1_4_1_6_2_2_1_1 away_from n5_a_thrust__1_4_1_6_2_2_2_1_1 the n5_a_thrust__1_4_1_6_2_2_2_2_1 pod n5_a_thrust__1_5_1 . n5_a_thrust__1 IP-MAT n5_a_thrust__1_1 PP-SCON n5_a_thrust__1->n5_a_thrust__1_1 n5_a_thrust__1_2 NP-SBJ n5_a_thrust__1->n5_a_thrust__1_2 n5_a_thrust__1_3 MD;_cat_Vi_ n5_a_thrust__1->n5_a_thrust__1_3 n5_a_thrust__1_4 IP-INF-CAT n5_a_thrust__1->n5_a_thrust__1_4 n5_a_thrust__1_5 PUNC n5_a_thrust__1->n5_a_thrust__1_5 n5_a_thrust__1_1_1 IP-INF3 n5_a_thrust__1_1->n5_a_thrust__1_1_1 n5_a_thrust__1_1_1_1 TO n5_a_thrust__1_1_1->n5_a_thrust__1_1_1_1 n5_a_thrust__1_1_1_2 DO n5_a_thrust__1_1_1->n5_a_thrust__1_1_1_2 n5_a_thrust__1_1_1_3 ADVP-CLR n5_a_thrust__1_1_1->n5_a_thrust__1_1_1_3 n5_a_thrust__1_1_1_1->n5_a_thrust__1_1_1_1_1 n5_a_thrust__1_1_1_2->n5_a_thrust__1_1_1_2_1 n5_a_thrust__1_1_1_3_1 ADV n5_a_thrust__1_1_1_3->n5_a_thrust__1_1_1_3_1 n5_a_thrust__1_1_1_3_1->n5_a_thrust__1_1_1_3_1_1 n5_a_thrust__1_2_1 PRO n5_a_thrust__1_2->n5_a_thrust__1_2_1 n5_a_thrust__1_2_1->n5_a_thrust__1_2_1_1 n5_a_thrust__1_3->n5_a_thrust__1_3_1 n5_a_thrust__1_4_1 ILYR n5_a_thrust__1_4->n5_a_thrust__1_4_1 n5_a_thrust__1_4_1_1 ILYR n5_a_thrust__1_4_1->n5_a_thrust__1_4_1_1 n5_a_thrust__1_4_1_2 PUNC n5_a_thrust__1_4_1->n5_a_thrust__1_4_1_2 n5_a_thrust__1_4_1_3 CONJP n5_a_thrust__1_4_1->n5_a_thrust__1_4_1_3 n5_a_thrust__1_4_1_4 PUNC n5_a_thrust__1_4_1->n5_a_thrust__1_4_1_4 n5_a_thrust__1_4_1_5 CONJP n5_a_thrust__1_4_1->n5_a_thrust__1_4_1_5 n5_a_thrust__1_4_1_6 CONJP n5_a_thrust__1_4_1->n5_a_thrust__1_4_1_6 n5_a_thrust__1_4_1_1_1 VB;_Tn_ n5_a_thrust__1_4_1_1->n5_a_thrust__1_4_1_1_1 n5_a_thrust__1_4_1_1_2 NP-OB1 n5_a_thrust__1_4_1_1->n5_a_thrust__1_4_1_1_2 n5_a_thrust__1_4_1_1_1->n5_a_thrust__1_4_1_1_1_1 n5_a_thrust__1_4_1_1_2_1 D n5_a_thrust__1_4_1_1_2->n5_a_thrust__1_4_1_1_2_1 n5_a_thrust__1_4_1_1_2_2 N n5_a_thrust__1_4_1_1_2->n5_a_thrust__1_4_1_1_2_2 n5_a_thrust__1_4_1_1_2_1->n5_a_thrust__1_4_1_1_2_1_1 n5_a_thrust__1_4_1_1_2_2->n5_a_thrust__1_4_1_1_2_2_1 n5_a_thrust__1_4_1_2->n5_a_thrust__1_4_1_2_1 n5_a_thrust__1_4_1_3_1 ILYR n5_a_thrust__1_4_1_3->n5_a_thrust__1_4_1_3_1 n5_a_thrust__1_4_1_3_1_1 VB;_Ipr_ n5_a_thrust__1_4_1_3_1->n5_a_thrust__1_4_1_3_1_1 n5_a_thrust__1_4_1_3_1_2 PP-CLR n5_a_thrust__1_4_1_3_1->n5_a_thrust__1_4_1_3_1_2 n5_a_thrust__1_4_1_3_1_1->n5_a_thrust__1_4_1_3_1_1_1 n5_a_thrust__1_4_1_3_1_2_1 ADV n5_a_thrust__1_4_1_3_1_2->n5_a_thrust__1_4_1_3_1_2_1 n5_a_thrust__1_4_1_3_1_2_2 P-ROLE n5_a_thrust__1_4_1_3_1_2->n5_a_thrust__1_4_1_3_1_2_2 n5_a_thrust__1_4_1_3_1_2_3 NP n5_a_thrust__1_4_1_3_1_2->n5_a_thrust__1_4_1_3_1_2_3 n5_a_thrust__1_4_1_3_1_2_1->n5_a_thrust__1_4_1_3_1_2_1_1 n5_a_thrust__1_4_1_3_1_2_2->n5_a_thrust__1_4_1_3_1_2_2_1 n5_a_thrust__1_4_1_3_1_2_3_1 PRO n5_a_thrust__1_4_1_3_1_2_3->n5_a_thrust__1_4_1_3_1_2_3_1 n5_a_thrust__1_4_1_3_1_2_3_1->n5_a_thrust__1_4_1_3_1_2_3_1_1 n5_a_thrust__1_4_1_4->n5_a_thrust__1_4_1_4_1 n5_a_thrust__1_4_1_5_1 ILYR n5_a_thrust__1_4_1_5->n5_a_thrust__1_4_1_5_1 n5_a_thrust__1_4_1_5_1_1 VB;_Tn_ n5_a_thrust__1_4_1_5_1->n5_a_thrust__1_4_1_5_1_1 n5_a_thrust__1_4_1_5_1_2 NP-OB1 n5_a_thrust__1_4_1_5_1->n5_a_thrust__1_4_1_5_1_2 n5_a_thrust__1_4_1_5_1_1->n5_a_thrust__1_4_1_5_1_1_1 n5_a_thrust__1_4_1_5_1_2_1 NP-GEN n5_a_thrust__1_4_1_5_1_2->n5_a_thrust__1_4_1_5_1_2_1 n5_a_thrust__1_4_1_5_1_2_2 N n5_a_thrust__1_4_1_5_1_2->n5_a_thrust__1_4_1_5_1_2_2 n5_a_thrust__1_4_1_5_1_2_3 N n5_a_thrust__1_4_1_5_1_2->n5_a_thrust__1_4_1_5_1_2_3 n5_a_thrust__1_4_1_5_1_2_1_1 NP-GEN n5_a_thrust__1_4_1_5_1_2_1->n5_a_thrust__1_4_1_5_1_2_1_1 n5_a_thrust__1_4_1_5_1_2_1_2 N n5_a_thrust__1_4_1_5_1_2_1->n5_a_thrust__1_4_1_5_1_2_1_2 n5_a_thrust__1_4_1_5_1_2_1_3 GENM n5_a_thrust__1_4_1_5_1_2_1->n5_a_thrust__1_4_1_5_1_2_1_3 n5_a_thrust__1_4_1_5_1_2_1_1_1 PRO;_genm_ n5_a_thrust__1_4_1_5_1_2_1_1->n5_a_thrust__1_4_1_5_1_2_1_1_1 n5_a_thrust__1_4_1_5_1_2_1_1_1->n5_a_thrust__1_4_1_5_1_2_1_1_1_1 n5_a_thrust__1_4_1_5_1_2_1_2->n5_a_thrust__1_4_1_5_1_2_1_2_1 n5_a_thrust__1_4_1_5_1_2_1_3->n5_a_thrust__1_4_1_5_1_2_1_3_1 n5_a_thrust__1_4_1_5_1_2_2->n5_a_thrust__1_4_1_5_1_2_2_1 n5_a_thrust__1_4_1_5_1_2_3->n5_a_thrust__1_4_1_5_1_2_3_1 n5_a_thrust__1_4_1_6_1 CONJ n5_a_thrust__1_4_1_6->n5_a_thrust__1_4_1_6_1 n5_a_thrust__1_4_1_6_2 ILYR n5_a_thrust__1_4_1_6->n5_a_thrust__1_4_1_6_2 n5_a_thrust__1_4_1_6_1->n5_a_thrust__1_4_1_6_1_1 n5_a_thrust__1_4_1_6_2_1 VB;_I_ n5_a_thrust__1_4_1_6_2->n5_a_thrust__1_4_1_6_2_1 n5_a_thrust__1_4_1_6_2_2 PP-NIM n5_a_thrust__1_4_1_6_2->n5_a_thrust__1_4_1_6_2_2 n5_a_thrust__1_4_1_6_2_1->n5_a_thrust__1_4_1_6_2_1_1 n5_a_thrust__1_4_1_6_2_2_1 P-ROLE n5_a_thrust__1_4_1_6_2_2->n5_a_thrust__1_4_1_6_2_2_1 n5_a_thrust__1_4_1_6_2_2_2 NP n5_a_thrust__1_4_1_6_2_2->n5_a_thrust__1_4_1_6_2_2_2 n5_a_thrust__1_4_1_6_2_2_1->n5_a_thrust__1_4_1_6_2_2_1_1 n5_a_thrust__1_4_1_6_2_2_2_1 D n5_a_thrust__1_4_1_6_2_2_2->n5_a_thrust__1_4_1_6_2_2_2_1 n5_a_thrust__1_4_1_6_2_2_2_2 N n5_a_thrust__1_4_1_6_2_2_2->n5_a_thrust__1_4_1_6_2_2_2_2 n5_a_thrust__1_4_1_6_2_2_2_1->n5_a_thrust__1_4_1_6_2_2_2_1_1 n5_a_thrust__1_4_1_6_2_2_2_2->n5_a_thrust__1_4_1_6_2_2_2_2_1 n5_a_thrust__1_5->n5_a_thrust__1_5_1 
( (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))