Context                Previous, Next                Top


6_a_thrust
Once the beam has locked onto the pod, you can deactivate the tractor beam.

%3 r_0006_0001__Once Once r_0006_0004__has has r_0006_0001__Once->r_0006_0004__has [restriction] r_0006_0011__can can r_0006_0001__Once->r_0006_0011__can [scope] r_0006_0005__locked locked r_0006_0004__has->r_0006_0005__locked [scope] r_0006_0012__deactivate deactivate r_0006_0011__can->r_0006_0012__deactivate [scope] r_0006_0002__the_r_0006_0003__beam the beam r_0006_0005__locked->r_0006_0002__the_r_0006_0003__beam [arg0] r_0006_0007__the_r_0006_0008__pod the pod r_0006_0005__locked->r_0006_0007__the_r_0006_0008__pod onto [clr] r_0006_0010__you you r_0006_0012__deactivate->r_0006_0010__you [arg0] r_0006_0013__the_r_0006_0014__tractor_r_0006_0015__beam the tractor beam r_0006_0012__deactivate->r_0006_0013__the_r_0006_0014__tractor_r_0006_0015__beam [arg1] 
arc(r_0006_0001__Once, r_0006_0004__has, restriction).
arc(r_0006_0001__Once, r_0006_0011__can, scope).
arc(r_0006_0004__has, r_0006_0005__locked, scope).
arc(r_0006_0005__locked, r_0006_0002__the_r_0006_0003__beam, arg0).
arc(r_0006_0005__locked, r_0006_0007__the_r_0006_0008__pod, r_0006_0006__onto_clr19).
arc(r_0006_0011__can, r_0006_0012__deactivate, scope).
arc(r_0006_0012__deactivate, r_0006_0010__you, arg0).
arc(r_0006_0012__deactivate, r_0006_0013__the_r_0006_0014__tractor_r_0006_0015__beam, arg1).


%3 r_0006_0001__Once Once r_0006_0004__has_r_0006_0005__locked has locked r_0006_0001__Once->r_0006_0004__has_r_0006_0005__locked [conj1] r_0006_0011__can_r_0006_0012__deactivate can deactivate r_0006_0001__Once->r_0006_0011__can_r_0006_0012__deactivate [conj2] r_0006_0002__the_r_0006_0003__beam the beam r_0006_0004__has_r_0006_0005__locked->r_0006_0002__the_r_0006_0003__beam [arg0] r_0006_0007__the_r_0006_0008__pod the pod r_0006_0004__has_r_0006_0005__locked->r_0006_0007__the_r_0006_0008__pod onto [clr] r_0006_0010__you you r_0006_0011__can_r_0006_0012__deactivate->r_0006_0010__you [arg0] r_0006_0013__the_r_0006_0014__tractor_r_0006_0015__beam the tractor beam r_0006_0011__can_r_0006_0012__deactivate->r_0006_0013__the_r_0006_0014__tractor_r_0006_0015__beam [arg1] 
fof(formula,axiom,
    ? [R_6_1_ONCE,R_6_4_HAS_LOCKED,R_6_2_THE_BEAM,R_6_7_THE_POD,R_6_11_CAN_DEACTIVATE,R_6_10_YOU,R_6_13_THE_TRACTOR_BEAM] :
      ( the_beam(R_6_2_THE_BEAM)
      & the_pod(R_6_7_THE_POD)
      & you(R_6_10_YOU)
      & the_tractor_beam(R_6_13_THE_TRACTOR_BEAM)
      & once(R_6_1_ONCE)
      & conj1(R_6_1_ONCE,R_6_4_HAS_LOCKED)
      & has_locked(R_6_4_HAS_LOCKED,R_6_2_THE_BEAM)
      & onto_clr19(R_6_4_HAS_LOCKED,R_6_7_THE_POD)
      & conj2(R_6_1_ONCE,R_6_11_CAN_DEACTIVATE)
      & can_deactivate(R_6_11_CAN_DEACTIVATE,R_6_10_YOU,R_6_13_THE_TRACTOR_BEAM) ) ).


n6_a_thrust n6_a_thrust_4 Once n6_a_thrust_8 the n6_a_thrust_10 beam n6_a_thrust_12 has n6_a_thrust_15 locked n6_a_thrust_18 onto n6_a_thrust_21 the n6_a_thrust_23 pod n6_a_thrust_25 , n6_a_thrust_28 you n6_a_thrust_30 can n6_a_thrust_33 deactivate n6_a_thrust_36 the n6_a_thrust_38 tractor n6_a_thrust_40 beam n6_a_thrust_42 . n6_a_thrust_1 IP-MAT n6_a_thrust_2 PP-SCON n6_a_thrust_1->n6_a_thrust_2 n6_a_thrust_24 PUNC n6_a_thrust_1->n6_a_thrust_24 n6_a_thrust_26 NP-SBJ n6_a_thrust_1->n6_a_thrust_26 n6_a_thrust_29 MD;_cat_Vi_ n6_a_thrust_1->n6_a_thrust_29 n6_a_thrust_31 IP-INF-CAT n6_a_thrust_1->n6_a_thrust_31 n6_a_thrust_41 PUNC n6_a_thrust_1->n6_a_thrust_41 n6_a_thrust_3 P-CONN n6_a_thrust_2->n6_a_thrust_3 n6_a_thrust_5 IP-ADV n6_a_thrust_2->n6_a_thrust_5 n6_a_thrust_3->n6_a_thrust_4 n6_a_thrust_6 NP-SBJ n6_a_thrust_5->n6_a_thrust_6 n6_a_thrust_11 HVP;_cat_Ve_ n6_a_thrust_5->n6_a_thrust_11 n6_a_thrust_13 IP-PPL-CAT n6_a_thrust_5->n6_a_thrust_13 n6_a_thrust_7 D n6_a_thrust_6->n6_a_thrust_7 n6_a_thrust_9 N n6_a_thrust_6->n6_a_thrust_9 n6_a_thrust_7->n6_a_thrust_8 n6_a_thrust_9->n6_a_thrust_10 n6_a_thrust_11->n6_a_thrust_12 n6_a_thrust_14 VVN;_Ipr_ n6_a_thrust_13->n6_a_thrust_14 n6_a_thrust_16 PP-CLR n6_a_thrust_13->n6_a_thrust_16 n6_a_thrust_14->n6_a_thrust_15 n6_a_thrust_17 P-ROLE n6_a_thrust_16->n6_a_thrust_17 n6_a_thrust_19 NP n6_a_thrust_16->n6_a_thrust_19 n6_a_thrust_17->n6_a_thrust_18 n6_a_thrust_20 D n6_a_thrust_19->n6_a_thrust_20 n6_a_thrust_22 N n6_a_thrust_19->n6_a_thrust_22 n6_a_thrust_20->n6_a_thrust_21 n6_a_thrust_22->n6_a_thrust_23 n6_a_thrust_24->n6_a_thrust_25 n6_a_thrust_27 PRO n6_a_thrust_26->n6_a_thrust_27 n6_a_thrust_27->n6_a_thrust_28 n6_a_thrust_29->n6_a_thrust_30 n6_a_thrust_32 VB;_Tn_ n6_a_thrust_31->n6_a_thrust_32 n6_a_thrust_34 NP-OB1 n6_a_thrust_31->n6_a_thrust_34 n6_a_thrust_32->n6_a_thrust_33 n6_a_thrust_35 D n6_a_thrust_34->n6_a_thrust_35 n6_a_thrust_37 N n6_a_thrust_34->n6_a_thrust_37 n6_a_thrust_39 N n6_a_thrust_34->n6_a_thrust_39 n6_a_thrust_35->n6_a_thrust_36 n6_a_thrust_37->n6_a_thrust_38 n6_a_thrust_39->n6_a_thrust_40 n6_a_thrust_41->n6_a_thrust_42 
( (IP-MAT (PP-SCON (P-CONN Once;{once})
                   (IP-ADV (NP-SBJ;{BEAM} (D the;{the})
                                          (N beam;{beam}))
                           (HVP;_cat_Ve_ has;{have})
                           (IP-PPL-CAT (VVN;_Ipr_ locked;{lock[onto]})
                                       (PP-CLR (P-ROLE onto;{onto})
                                               (NP;{POD} (D the;{the})
                                                         (N pod;{pod}))))))
          (PUNC ,)
          (NP-SBJ;{PLAYER} (PRO you;{you}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (VB;_Tn_ deactivate;{deactivate})
                      (NP-OB1;{BEAM} (D the;{the})
                                     (N tractor;{tractor})
                                     (N beam;{beam})))
          (PUNC .))
  (ID 6_a_thrust))