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_0011__can_r_0006_0012__deactivate can deactivate 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] r_0006_0010__you you r_0006_0011__can_r_0006_0012__deactivate->r_0006_0010__you [arg0] r_0006_0004__has_r_0006_0005__locked has locked 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_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_0001__Once Once r_0006_0001__Once->r_0006_0011__can_r_0006_0012__deactivate [conj2] r_0006_0001__Once->r_0006_0004__has_r_0006_0005__locked [conj1] 
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__1_1_1_1 Once n6_a_thrust__1_1_2_1_1_1 the n6_a_thrust__1_1_2_1_2_1 beam n6_a_thrust__1_1_2_2_1 has n6_a_thrust__1_1_2_3_1_1 locked n6_a_thrust__1_1_2_3_2_1_1 onto n6_a_thrust__1_1_2_3_2_2_1_1 the n6_a_thrust__1_1_2_3_2_2_2_1 pod n6_a_thrust__1_2_1 , n6_a_thrust__1_3_1_1 you n6_a_thrust__1_4_1 can n6_a_thrust__1_5_1_1 deactivate n6_a_thrust__1_5_2_1_1 the n6_a_thrust__1_5_2_2_1 tractor n6_a_thrust__1_5_2_3_1 beam n6_a_thrust__1_6_1 . n6_a_thrust__1 IP-MAT n6_a_thrust__1_1 PP-SCON n6_a_thrust__1->n6_a_thrust__1_1 n6_a_thrust__1_2 PUNC n6_a_thrust__1->n6_a_thrust__1_2 n6_a_thrust__1_3 NP-SBJ n6_a_thrust__1->n6_a_thrust__1_3 n6_a_thrust__1_4 MD;_cat_Vi_ n6_a_thrust__1->n6_a_thrust__1_4 n6_a_thrust__1_5 IP-INF-CAT n6_a_thrust__1->n6_a_thrust__1_5 n6_a_thrust__1_6 PUNC n6_a_thrust__1->n6_a_thrust__1_6 n6_a_thrust__1_1_1 P-CONN n6_a_thrust__1_1->n6_a_thrust__1_1_1 n6_a_thrust__1_1_2 IP-ADV n6_a_thrust__1_1->n6_a_thrust__1_1_2 n6_a_thrust__1_1_1->n6_a_thrust__1_1_1_1 n6_a_thrust__1_1_2_1 NP-SBJ n6_a_thrust__1_1_2->n6_a_thrust__1_1_2_1 n6_a_thrust__1_1_2_2 HVP;_cat_Ve_ n6_a_thrust__1_1_2->n6_a_thrust__1_1_2_2 n6_a_thrust__1_1_2_3 IP-PPL-CAT n6_a_thrust__1_1_2->n6_a_thrust__1_1_2_3 n6_a_thrust__1_1_2_1_1 D n6_a_thrust__1_1_2_1->n6_a_thrust__1_1_2_1_1 n6_a_thrust__1_1_2_1_2 N n6_a_thrust__1_1_2_1->n6_a_thrust__1_1_2_1_2 n6_a_thrust__1_1_2_1_1->n6_a_thrust__1_1_2_1_1_1 n6_a_thrust__1_1_2_1_2->n6_a_thrust__1_1_2_1_2_1 n6_a_thrust__1_1_2_2->n6_a_thrust__1_1_2_2_1 n6_a_thrust__1_1_2_3_1 VVN;_Ipr_ n6_a_thrust__1_1_2_3->n6_a_thrust__1_1_2_3_1 n6_a_thrust__1_1_2_3_2 PP-CLR n6_a_thrust__1_1_2_3->n6_a_thrust__1_1_2_3_2 n6_a_thrust__1_1_2_3_1->n6_a_thrust__1_1_2_3_1_1 n6_a_thrust__1_1_2_3_2_1 P-ROLE n6_a_thrust__1_1_2_3_2->n6_a_thrust__1_1_2_3_2_1 n6_a_thrust__1_1_2_3_2_2 NP n6_a_thrust__1_1_2_3_2->n6_a_thrust__1_1_2_3_2_2 n6_a_thrust__1_1_2_3_2_1->n6_a_thrust__1_1_2_3_2_1_1 n6_a_thrust__1_1_2_3_2_2_1 D n6_a_thrust__1_1_2_3_2_2->n6_a_thrust__1_1_2_3_2_2_1 n6_a_thrust__1_1_2_3_2_2_2 N n6_a_thrust__1_1_2_3_2_2->n6_a_thrust__1_1_2_3_2_2_2 n6_a_thrust__1_1_2_3_2_2_1->n6_a_thrust__1_1_2_3_2_2_1_1 n6_a_thrust__1_1_2_3_2_2_2->n6_a_thrust__1_1_2_3_2_2_2_1 n6_a_thrust__1_2->n6_a_thrust__1_2_1 n6_a_thrust__1_3_1 PRO n6_a_thrust__1_3->n6_a_thrust__1_3_1 n6_a_thrust__1_3_1->n6_a_thrust__1_3_1_1 n6_a_thrust__1_4->n6_a_thrust__1_4_1 n6_a_thrust__1_5_1 VB;_Tn_ n6_a_thrust__1_5->n6_a_thrust__1_5_1 n6_a_thrust__1_5_2 NP-OB1 n6_a_thrust__1_5->n6_a_thrust__1_5_2 n6_a_thrust__1_5_1->n6_a_thrust__1_5_1_1 n6_a_thrust__1_5_2_1 D n6_a_thrust__1_5_2->n6_a_thrust__1_5_2_1 n6_a_thrust__1_5_2_2 N n6_a_thrust__1_5_2->n6_a_thrust__1_5_2_2 n6_a_thrust__1_5_2_3 N n6_a_thrust__1_5_2->n6_a_thrust__1_5_2_3 n6_a_thrust__1_5_2_1->n6_a_thrust__1_5_2_1_1 n6_a_thrust__1_5_2_2->n6_a_thrust__1_5_2_2_1 n6_a_thrust__1_5_2_3->n6_a_thrust__1_5_2_3_1 n6_a_thrust__1_6->n6_a_thrust__1_6_1 
( (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))