303_a_dick_1952
Dorle reached for his hand weapon.
arc(r_0303_0002__reached, r_0303_0001__Dorle, arg0).
arc(r_0303_0002__reached, r_0303_0005__hand_r_0303_0006__weapon, r_0303_0003__for_clr10).
arc(r_0303_0005__hand_r_0303_0006__weapon, r_0303_0001__Dorle, gen).
fof(formula,axiom,
? [R_0303_0001__DORLE,R_0303_0005__HAND_R_0303_0006__WEAPON,R_0303_0002__REACHED] :
( r_0303_0001__Dorle(R_0303_0001__DORLE)
& r_0303_0002__reached(R_0303_0002__REACHED)
& has_r_0303_0003__for_clr10(R_0303_0002__REACHED,R_0303_0005__HAND_R_0303_0006__WEAPON)
& r_0303_0005__hand_r_0303_0006__weapon(R_0303_0005__HAND_R_0303_0006__WEAPON)
& has_gen(R_0303_0005__HAND_R_0303_0006__WEAPON,R_0303_0001__DORLE)
& has_arg0(R_0303_0002__REACHED,R_0303_0001__DORLE) ) ).
( (IP-MAT (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
(VBD;_Ipr_ reached;{reach[for]})
(PP-CLR (P-ROLE for;{for})
(NP (NP-GEN;{DORLE} (PRO;_genm_ his;{his}))
(N hand;{hand})
(N weapon;{weapon})))
(PUNC .))
(ID 303_a_dick_1952))