6_a_thrust
Once the beam has locked onto the pod, you can deactivate the tractor beam.
( (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))
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_r_0006_0006__onto,scope).
arc(r_0006_0005__locked_r_0006_0006__onto,r_0006_0002__the_r_0006_0003__beam,arg0).
arc(r_0006_0005__locked_r_0006_0006__onto,r_0006_0007__the_r_0006_0008__pod,arg1).
arc(r_0006_0011__can,r_0006_0012__deactivate,scope).
arc(r_0006_0012__deactivate,r_0006_0002__the_r_0006_0003__beam,arg1).
arc(r_0006_0012__deactivate,r_0006_0010__you,arg0).
fof(formula,axiom,
? [R_0006_0002__THE_R_0006_0003__BEAM,R_0006_0007__THE_R_0006_0008__POD,R_0006_0004__HAS_R_0006_0005__LOCKED_R_0006_0006__ONTO,R_0006_0010__YOU,R_0006_0011__CAN_R_0006_0012__DEACTIVATE,R_0006_0001__ONCE] :
( r_0006_0002__the_r_0006_0003__beam(R_0006_0002__THE_R_0006_0003__BEAM)
& r_0006_0007__the_r_0006_0008__pod(R_0006_0007__THE_R_0006_0008__POD)
& r_0006_0010__you(R_0006_0010__YOU)
& r_0006_0001__Once(R_0006_0001__ONCE)
& has_conj2(R_0006_0001__ONCE,R_0006_0011__CAN_R_0006_0012__DEACTIVATE)
& r_0006_0011__can_r_0006_0012__deactivate(R_0006_0011__CAN_R_0006_0012__DEACTIVATE)
& has_arg0(R_0006_0011__CAN_R_0006_0012__DEACTIVATE,R_0006_0010__YOU)
& has_arg1(R_0006_0011__CAN_R_0006_0012__DEACTIVATE,R_0006_0002__THE_R_0006_0003__BEAM)
& has_conj1(R_0006_0001__ONCE,R_0006_0004__HAS_R_0006_0005__LOCKED_R_0006_0006__ONTO)
& r_0006_0004__has_r_0006_0005__locked_r_0006_0006__onto(R_0006_0004__HAS_R_0006_0005__LOCKED_R_0006_0006__ONTO)
& has_arg1(R_0006_0004__HAS_R_0006_0005__LOCKED_R_0006_0006__ONTO,R_0006_0007__THE_R_0006_0008__POD)
& has_arg0(R_0006_0004__HAS_R_0006_0005__LOCKED_R_0006_0006__ONTO,R_0006_0002__THE_R_0006_0003__BEAM) ) ).