335_a_dick_1952
Dorle picked up a rock from the ground.
( (IP-MAT (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
(VBD;_phr_Vn<=>p_ picked;{pick[up]})
(RP up;{up})
(NP-OB1 (D a;{a})
(N rock;{rock}))
(PP-NIM (P-ROLE from;{from})
(NP (D the;{the})
(N ground;{ground})))
(PUNC .))
(ID 335_a_dick_1952))
arc(r_0335_0002__picked_r_0335_0003__up,r_0335_0001__Dorle,arg0).
arc(r_0335_0002__picked_r_0335_0003__up,r_0335_0004__a_r_0335_0005__rock,arg1).
arc(r_0335_0002__picked_r_0335_0003__up,r_0335_0007__the_r_0335_0008__ground,r_0335_0006__from__nim).
fof(formula,axiom,
? [R_0335_0001__DORLE,R_0335_0004__A_R_0335_0005__ROCK,R_0335_0007__THE_R_0335_0008__GROUND,R_0335_0002__PICKED_R_0335_0003__UP] :
( r_0335_0001__Dorle(R_0335_0001__DORLE)
& r_0335_0004__a_r_0335_0005__rock(R_0335_0004__A_R_0335_0005__ROCK)
& r_0335_0007__the_r_0335_0008__ground(R_0335_0007__THE_R_0335_0008__GROUND)
& r_0335_0002__picked_r_0335_0003__up(R_0335_0002__PICKED_R_0335_0003__UP)
& has_r_0335_0006__from__nim(R_0335_0002__PICKED_R_0335_0003__UP,R_0335_0007__THE_R_0335_0008__GROUND)
& has_arg1(R_0335_0002__PICKED_R_0335_0003__UP,R_0335_0004__A_R_0335_0005__ROCK)
& has_arg0(R_0335_0002__PICKED_R_0335_0003__UP,R_0335_0001__DORLE) ) ).