264_a_dick_1952
They walked into the city between the ruined buildings.
arc(r_0264_0002__walked, r_0264_0001__They, arg0).
arc(r_0264_0002__walked, r_0264_0004__the_r_0264_0005__city, r_0264_0003__into_clr10).
arc(r_0264_0002__walked, r_0264_0007__the_r_0264_0009__buildings, r_0264_0006__between_nim18).
arc(r_0264_0007__the_r_0264_0009__buildings, r_0264_0008__ruined, attrib21).
fof(formula,axiom,
? [R_264_2_WALKED,R_264_1_THEY,R_264_4_THE_CITY,R_264_7_THE_BUILDINGS,R_264_8_RUINED] :
( they(R_264_1_THEY)
& the_city(R_264_4_THE_CITY)
& ruined(R_264_8_RUINED)
& walked(R_264_2_WALKED,R_264_1_THEY)
& into_clr10(R_264_2_WALKED,R_264_4_THE_CITY)
& between_nim18(R_264_2_WALKED,R_264_7_THE_BUILDINGS)
& the_buildings(R_264_7_THE_BUILDINGS)
& attrib21(R_264_7_THE_BUILDINGS,R_264_8_RUINED) ) ).
( (IP-MAT (NP-SBJ;{DORLE_NASHA_TANCE} (PRO They;{they}))
(VBD;_Ipr_ walked;{walk[into]})
(PP-CLR (P-ROLE into;{into})
(NP (D the;{the})
(N city;{city})))
(PP-NIM (P-ROLE between;{between})
(NP (D the;{the})
(ADJP (ADJ ruined;{ruined}))
(NS buildings;{building})))
(PUNC .))
(ID 264_a_dick_1952))