339_a_dick_1952
The rock fell to the ground.
( (IP-MAT (NP-SBJ (D The;{the})
(N rock;{rock}))
(VBD;_I_ fell;{fall})
(PP-NIM (P-ROLE to;{to})
(NP (D the;{the})
(N ground;{ground})))
(PUNC .))
(ID 339_a_dick_1952))
arc(r_0339_0003__fell,r_0339_0001__The_r_0339_0002__rock,arg0).
arc(r_0339_0003__fell,r_0339_0005__the_r_0339_0006__ground,r_0339_0004__to__nim).
fof(formula,axiom,
? [R_0339_0001__THE_R_0339_0002__ROCK,R_0339_0005__THE_R_0339_0006__GROUND,R_0339_0003__FELL] :
( r_0339_0001__The_r_0339_0002__rock(R_0339_0001__THE_R_0339_0002__ROCK)
& r_0339_0005__the_r_0339_0006__ground(R_0339_0005__THE_R_0339_0006__GROUND)
& r_0339_0003__fell(R_0339_0003__FELL)
& has_r_0339_0004__to__nim(R_0339_0003__FELL,R_0339_0005__THE_R_0339_0006__GROUND)
& has_arg0(R_0339_0003__FELL,R_0339_0001__THE_R_0339_0002__ROCK) ) ).