443_a_dick_1952
Dorle took out his hand weapon.
( (IP-MAT (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
(VBD;_phr_Vn<=>p_ took;{take[out]})
(RP out;{out})
(NP-OB1 (NP-GEN;{DORLE} (PRO;_genm_ his;{his}))
(N hand;{hand})
(N weapon;{weapon}))
(PUNC .))
(ID 443_a_dick_1952))
arc(r_0443_0002__took_r_0443_0003__out,r_0443_0001__Dorle,arg0).
arc(r_0443_0002__took_r_0443_0003__out,r_0443_0005__hand_r_0443_0006__weapon,arg1).
arc(r_0443_0005__hand_r_0443_0006__weapon,r_0443_0001__Dorle,gen).
fof(formula,axiom,
? [R_0443_0001__DORLE,R_0443_0005__HAND_R_0443_0006__WEAPON,R_0443_0002__TOOK_R_0443_0003__OUT] :
( r_0443_0001__Dorle(R_0443_0001__DORLE)
& r_0443_0002__took_r_0443_0003__out(R_0443_0002__TOOK_R_0443_0003__OUT)
& has_arg1(R_0443_0002__TOOK_R_0443_0003__OUT,R_0443_0005__HAND_R_0443_0006__WEAPON)
& r_0443_0005__hand_r_0443_0006__weapon(R_0443_0005__HAND_R_0443_0006__WEAPON)
& has_gen(R_0443_0005__HAND_R_0443_0006__WEAPON,R_0443_0001__DORLE)
& has_arg0(R_0443_0002__TOOK_R_0443_0003__OUT,R_0443_0001__DORLE) ) ).