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 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 [conj1] z_000_22_a_thrust_2->r_0022_0011__and [conj2] 
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_5 To n22_a_thrust_7 collect n22_a_thrust_10 fuel n22_a_thrust_12 , n22_a_thrust_16 hover n22_a_thrust_19 just n22_a_thrust_21 above n22_a_thrust_24 a n22_a_thrust_26 fuel n22_a_thrust_28 tank n22_a_thrust_31 and n22_a_thrust_34 activate n22_a_thrust_37 the n22_a_thrust_39 tractor n22_a_thrust_41 beam n22_a_thrust_43 . n22_a_thrust_1 IP-IMP n22_a_thrust_2 PP-SCON n22_a_thrust_1->n22_a_thrust_2 n22_a_thrust_11 PUNC n22_a_thrust_1->n22_a_thrust_11 n22_a_thrust_13 ILYR n22_a_thrust_1->n22_a_thrust_13 n22_a_thrust_42 PUNC n22_a_thrust_1->n22_a_thrust_42 n22_a_thrust_3 IP-INF n22_a_thrust_2->n22_a_thrust_3 n22_a_thrust_4 TO n22_a_thrust_3->n22_a_thrust_4 n22_a_thrust_6 VB;_Tn_ n22_a_thrust_3->n22_a_thrust_6 n22_a_thrust_8 NP-OB1 n22_a_thrust_3->n22_a_thrust_8 n22_a_thrust_4->n22_a_thrust_5 n22_a_thrust_6->n22_a_thrust_7 n22_a_thrust_9 N n22_a_thrust_8->n22_a_thrust_9 n22_a_thrust_9->n22_a_thrust_10 n22_a_thrust_11->n22_a_thrust_12 n22_a_thrust_14 ILYR n22_a_thrust_13->n22_a_thrust_14 n22_a_thrust_29 CONJP n22_a_thrust_13->n22_a_thrust_29 n22_a_thrust_15 VB;_Ipr_ n22_a_thrust_14->n22_a_thrust_15 n22_a_thrust_17 PP-CLR n22_a_thrust_14->n22_a_thrust_17 n22_a_thrust_15->n22_a_thrust_16 n22_a_thrust_18 ADV n22_a_thrust_17->n22_a_thrust_18 n22_a_thrust_20 P-ROLE n22_a_thrust_17->n22_a_thrust_20 n22_a_thrust_22 NP n22_a_thrust_17->n22_a_thrust_22 n22_a_thrust_18->n22_a_thrust_19 n22_a_thrust_20->n22_a_thrust_21 n22_a_thrust_23 D n22_a_thrust_22->n22_a_thrust_23 n22_a_thrust_25 N n22_a_thrust_22->n22_a_thrust_25 n22_a_thrust_27 N n22_a_thrust_22->n22_a_thrust_27 n22_a_thrust_23->n22_a_thrust_24 n22_a_thrust_25->n22_a_thrust_26 n22_a_thrust_27->n22_a_thrust_28 n22_a_thrust_30 CONJ n22_a_thrust_29->n22_a_thrust_30 n22_a_thrust_32 ILYR n22_a_thrust_29->n22_a_thrust_32 n22_a_thrust_30->n22_a_thrust_31 n22_a_thrust_33 VB;_Tn_ n22_a_thrust_32->n22_a_thrust_33 n22_a_thrust_35 NP-OB1 n22_a_thrust_32->n22_a_thrust_35 n22_a_thrust_33->n22_a_thrust_34 n22_a_thrust_36 D n22_a_thrust_35->n22_a_thrust_36 n22_a_thrust_38 N n22_a_thrust_35->n22_a_thrust_38 n22_a_thrust_40 N n22_a_thrust_35->n22_a_thrust_40 n22_a_thrust_36->n22_a_thrust_37 n22_a_thrust_38->n22_a_thrust_39 n22_a_thrust_40->n22_a_thrust_41 n22_a_thrust_42->n22_a_thrust_43 
( (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))