311_a_dick_1952
Dorle unfastened his hand weapon slowly.
arc(r_0311_0002__unfastened, r_0311_0001__Dorle, arg0).
arc(r_0311_0002__unfastened, r_0311_0004__hand_r_0311_0005__weapon, arg1).
arc(r_0311_0002__unfastened, r_0311_0006__slowly, nim15).
arc(r_0311_0004__hand_r_0311_0005__weapon, r_0311_0001__Dorle, gen).
fof(formula,axiom,
? [R_0311_0001__DORLE,R_0311_0004__HAND_R_0311_0005__WEAPON,R_0311_0006__SLOWLY,R_0311_0002__UNFASTENED] :
( r_0311_0001__Dorle(R_0311_0001__DORLE)
& r_0311_0006__slowly(R_0311_0006__SLOWLY)
& r_0311_0002__unfastened(R_0311_0002__UNFASTENED)
& has_nim15(R_0311_0002__UNFASTENED,R_0311_0006__SLOWLY)
& has_arg1(R_0311_0002__UNFASTENED,R_0311_0004__HAND_R_0311_0005__WEAPON)
& r_0311_0004__hand_r_0311_0005__weapon(R_0311_0004__HAND_R_0311_0005__WEAPON)
& has_gen(R_0311_0004__HAND_R_0311_0005__WEAPON,R_0311_0001__DORLE)
& has_arg0(R_0311_0002__UNFASTENED,R_0311_0001__DORLE) ) ).
( (IP-MAT (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
(VBD;_Tn_ unfastened;{unfasten})
(NP-OB1 (NP-GEN;{DORLE} (PRO;_genm_ his;{his}))
(N hand;{hand})
(N weapon;{weapon}))
(ADVP-NIM (ADV slowly;{slowly}))
(PUNC .))
(ID 311_a_dick_1952))