51_a_dick_1952
Over there, at the edge.
arc(r_0051_0002__there, r_0051_0001__Over, qual3).
arc(z_000_51_a_dick_1952_1, r_0051_0002__there, nim2).
arc(z_000_51_a_dick_1952_1, r_0051_0005__the_r_0051_0006__edge, r_0051_0004__at_nim13).
fof(formula,axiom,
? [Z_51_A_DICK_1952_1,R_51_2_THERE,R_51_1_OVER,R_51_5_THE_EDGE] :
( over(R_51_1_OVER)
& the_edge(R_51_5_THE_EDGE)
& z_51_a_dick_1952_1(Z_51_A_DICK_1952_1)
& nim2(Z_51_A_DICK_1952_1,R_51_2_THERE)
& there(R_51_2_THERE)
& qual3(R_51_2_THERE,R_51_1_OVER)
& at_nim13(Z_51_A_DICK_1952_1,R_51_5_THE_EDGE) ) ).
( (FRAG (ADVP-NIM (ADVP (ADV Over;{over}))
(ADV there;{there}))
(PUNC ,)
(PP-NIM (P-ROLE at;{at})
(NP (D the;{the})
(N edge;{edge})))
(PUNC .))
(ID 51_a_dick_1952))