Context                Previous, Next                Top


22_a_thrust
To collect fuel, hover just above a fuel tank and activate the tractor beam.

%3 r_0022_0001__To_r_0022_0002__collect To collect r_0022_0003__fuel fuel r_0022_0001__To_r_0022_0002__collect->r_0022_0003__fuel [arg1] z_000_22_a_thrust_1 r_0022_0001__To_r_0022_0002__collect->z_000_22_a_thrust_1 [arg0] r_0022_0005__hover hover r_0022_0005__hover->z_000_22_a_thrust_1 [arg0] r_0022_0008__a_r_0022_0009__fuel_r_0022_0010__tank a fuel tank r_0022_0005__hover->r_0022_0008__a_r_0022_0009__fuel_r_0022_0010__tank just above [clr] r_0022_0011__and and r_0022_0011__and->r_0022_0005__hover [conj1] r_0022_0012__activate activate r_0022_0011__and->r_0022_0012__activate [conj2] r_0022_0012__activate->z_000_22_a_thrust_1 [arg0] r_0022_0013__the_r_0022_0014__tractor_r_0022_0015__beam the tractor beam r_0022_0012__activate->r_0022_0013__the_r_0022_0014__tractor_r_0022_0015__beam [arg1] z_000_22_a_thrust_2 z_000_22_a_thrust_2->r_0022_0001__To_r_0022_0002__collect [restriction] z_000_22_a_thrust_2->r_0022_0011__and [scope] 
arc(r_0022_0001__To_r_0022_0002__collect, r_0022_0003__fuel, arg1).
arc(r_0022_0001__To_r_0022_0002__collect, z_000_22_a_thrust_1, arg0).
arc(r_0022_0005__hover, r_0022_0008__a_r_0022_0009__fuel_r_0022_0010__tank, r_0022_0006__just_r_0022_0007__above_clr22).
arc(r_0022_0005__hover, z_000_22_a_thrust_1, arg0).
arc(r_0022_0011__and, r_0022_0005__hover, 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_000_22_a_thrust_1, arg0).
arc(z_000_22_a_thrust_2, r_0022_0001__To_r_0022_0002__collect, restriction).
arc(z_000_22_a_thrust_2, r_0022_0011__and, scope).


%3 z_000_22_a_thrust_2 r_0022_0011__and and z_000_22_a_thrust_2->r_0022_0011__and [conj2] r_0022_0001__To_r_0022_0002__collect To collect z_000_22_a_thrust_2->r_0022_0001__To_r_0022_0002__collect [conj1] r_0022_0012__activate activate r_0022_0011__and->r_0022_0012__activate [conj2] r_0022_0005__hover hover r_0022_0011__and->r_0022_0005__hover [conj1] z_000_22_a_thrust_1 r_0022_0001__To_r_0022_0002__collect->z_000_22_a_thrust_1 [arg0] r_0022_0003__fuel fuel r_0022_0001__To_r_0022_0002__collect->r_0022_0003__fuel [arg1] r_0022_0012__activate->z_000_22_a_thrust_1 [arg0] r_0022_0013__the_r_0022_0014__tractor_r_0022_0015__beam the tractor beam r_0022_0012__activate->r_0022_0013__the_r_0022_0014__tractor_r_0022_0015__beam [arg1] r_0022_0005__hover->z_000_22_a_thrust_1 [arg0] r_0022_0008__a_r_0022_0009__fuel_r_0022_0010__tank a fuel tank r_0022_0005__hover->r_0022_0008__a_r_0022_0009__fuel_r_0022_0010__tank just above [clr] 
fof(formula,axiom,
    ? [Z_22_A_THRUST_2,R_22_1_TO_COLLECT,R_22_3_FUEL,R_22_11_AND,R_22_5_HOVER,R_22_8_A_FUEL_TANK,R_22_12_ACTIVATE,Z_22_A_THRUST_1,R_22_13_THE_TRACTOR_BEAM] :
      ( fuel(R_22_3_FUEL)
      & a_fuel_tank(R_22_8_A_FUEL_TANK)
      & the_tractor_beam(R_22_13_THE_TRACTOR_BEAM)
      & z_22_a_thrust_2(Z_22_A_THRUST_2)
      & conj1(Z_22_A_THRUST_2,R_22_1_TO_COLLECT)
      & to_collect(R_22_1_TO_COLLECT,Z_22_A_THRUST_1,R_22_3_FUEL)
      & conj2(Z_22_A_THRUST_2,R_22_11_AND)
      & and(R_22_11_AND)
      & conj1(R_22_11_AND,R_22_5_HOVER)
      & hover(R_22_5_HOVER,Z_22_A_THRUST_1)
      & just_above_clr22(R_22_5_HOVER,R_22_8_A_FUEL_TANK)
      & conj2(R_22_11_AND,R_22_12_ACTIVATE)
      & activate(R_22_12_ACTIVATE,Z_22_A_THRUST_1,R_22_13_THE_TRACTOR_BEAM) ) ).


n22_a_thrust n22_a_thrust__1_1_1_1_1 To n22_a_thrust__1_1_1_2_1 collect n22_a_thrust__1_1_1_3_1_1 fuel n22_a_thrust__1_2_1 , n22_a_thrust__1_3_1_1_1 hover n22_a_thrust__1_3_1_2_1_1 just n22_a_thrust__1_3_1_2_2_1 above n22_a_thrust__1_3_1_2_3_1_1 a n22_a_thrust__1_3_1_2_3_2_1 fuel n22_a_thrust__1_3_1_2_3_3_1 tank n22_a_thrust__1_3_2_1_1 and n22_a_thrust__1_3_2_2_1_1 activate n22_a_thrust__1_3_2_2_2_1_1 the n22_a_thrust__1_3_2_2_2_2_1 tractor n22_a_thrust__1_3_2_2_2_3_1 beam n22_a_thrust__1_4_1 . n22_a_thrust__1 IP-IMP n22_a_thrust__1_1 PP-SCON n22_a_thrust__1->n22_a_thrust__1_1 n22_a_thrust__1_2 PUNC n22_a_thrust__1->n22_a_thrust__1_2 n22_a_thrust__1_3 ILYR n22_a_thrust__1->n22_a_thrust__1_3 n22_a_thrust__1_4 PUNC n22_a_thrust__1->n22_a_thrust__1_4 n22_a_thrust__1_1_1 IP-INF n22_a_thrust__1_1->n22_a_thrust__1_1_1 n22_a_thrust__1_1_1_1 TO n22_a_thrust__1_1_1->n22_a_thrust__1_1_1_1 n22_a_thrust__1_1_1_2 VB;_Tn_ n22_a_thrust__1_1_1->n22_a_thrust__1_1_1_2 n22_a_thrust__1_1_1_3 NP-OB1 n22_a_thrust__1_1_1->n22_a_thrust__1_1_1_3 n22_a_thrust__1_1_1_1->n22_a_thrust__1_1_1_1_1 n22_a_thrust__1_1_1_2->n22_a_thrust__1_1_1_2_1 n22_a_thrust__1_1_1_3_1 N n22_a_thrust__1_1_1_3->n22_a_thrust__1_1_1_3_1 n22_a_thrust__1_1_1_3_1->n22_a_thrust__1_1_1_3_1_1 n22_a_thrust__1_2->n22_a_thrust__1_2_1 n22_a_thrust__1_3_1 ILYR n22_a_thrust__1_3->n22_a_thrust__1_3_1 n22_a_thrust__1_3_2 CONJP n22_a_thrust__1_3->n22_a_thrust__1_3_2 n22_a_thrust__1_3_1_1 VB;_Ipr_ n22_a_thrust__1_3_1->n22_a_thrust__1_3_1_1 n22_a_thrust__1_3_1_2 PP-CLR n22_a_thrust__1_3_1->n22_a_thrust__1_3_1_2 n22_a_thrust__1_3_1_1->n22_a_thrust__1_3_1_1_1 n22_a_thrust__1_3_1_2_1 ADV n22_a_thrust__1_3_1_2->n22_a_thrust__1_3_1_2_1 n22_a_thrust__1_3_1_2_2 P-ROLE n22_a_thrust__1_3_1_2->n22_a_thrust__1_3_1_2_2 n22_a_thrust__1_3_1_2_3 NP n22_a_thrust__1_3_1_2->n22_a_thrust__1_3_1_2_3 n22_a_thrust__1_3_1_2_1->n22_a_thrust__1_3_1_2_1_1 n22_a_thrust__1_3_1_2_2->n22_a_thrust__1_3_1_2_2_1 n22_a_thrust__1_3_1_2_3_1 D n22_a_thrust__1_3_1_2_3->n22_a_thrust__1_3_1_2_3_1 n22_a_thrust__1_3_1_2_3_2 N n22_a_thrust__1_3_1_2_3->n22_a_thrust__1_3_1_2_3_2 n22_a_thrust__1_3_1_2_3_3 N n22_a_thrust__1_3_1_2_3->n22_a_thrust__1_3_1_2_3_3 n22_a_thrust__1_3_1_2_3_1->n22_a_thrust__1_3_1_2_3_1_1 n22_a_thrust__1_3_1_2_3_2->n22_a_thrust__1_3_1_2_3_2_1 n22_a_thrust__1_3_1_2_3_3->n22_a_thrust__1_3_1_2_3_3_1 n22_a_thrust__1_3_2_1 CONJ n22_a_thrust__1_3_2->n22_a_thrust__1_3_2_1 n22_a_thrust__1_3_2_2 ILYR n22_a_thrust__1_3_2->n22_a_thrust__1_3_2_2 n22_a_thrust__1_3_2_1->n22_a_thrust__1_3_2_1_1 n22_a_thrust__1_3_2_2_1 VB;_Tn_ n22_a_thrust__1_3_2_2->n22_a_thrust__1_3_2_2_1 n22_a_thrust__1_3_2_2_2 NP-OB1 n22_a_thrust__1_3_2_2->n22_a_thrust__1_3_2_2_2 n22_a_thrust__1_3_2_2_1->n22_a_thrust__1_3_2_2_1_1 n22_a_thrust__1_3_2_2_2_1 D n22_a_thrust__1_3_2_2_2->n22_a_thrust__1_3_2_2_2_1 n22_a_thrust__1_3_2_2_2_2 N n22_a_thrust__1_3_2_2_2->n22_a_thrust__1_3_2_2_2_2 n22_a_thrust__1_3_2_2_2_3 N n22_a_thrust__1_3_2_2_2->n22_a_thrust__1_3_2_2_2_3 n22_a_thrust__1_3_2_2_2_1->n22_a_thrust__1_3_2_2_2_1_1 n22_a_thrust__1_3_2_2_2_2->n22_a_thrust__1_3_2_2_2_2_1 n22_a_thrust__1_3_2_2_2_3->n22_a_thrust__1_3_2_2_2_3_1 n22_a_thrust__1_4->n22_a_thrust__1_4_1 
( (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 (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))