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_0264_0001__THEY,R_0264_0004__THE_R_0264_0005__CITY,R_0264_0008__RUINED,R_0264_0007__THE_R_0264_0009__BUILDINGS,R_0264_0002__WALKED] :
( r_0264_0001__They(R_0264_0001__THEY)
& r_0264_0004__the_r_0264_0005__city(R_0264_0004__THE_R_0264_0005__CITY)
& r_0264_0008__ruined(R_0264_0008__RUINED)
& r_0264_0002__walked(R_0264_0002__WALKED)
& has_r_0264_0006__between_nim18(R_0264_0002__WALKED,R_0264_0007__THE_R_0264_0009__BUILDINGS)
& r_0264_0007__the_r_0264_0009__buildings(R_0264_0007__THE_R_0264_0009__BUILDINGS)
& has_attrib21(R_0264_0007__THE_R_0264_0009__BUILDINGS,R_0264_0008__RUINED)
& has_r_0264_0003__into_clr10(R_0264_0002__WALKED,R_0264_0004__THE_R_0264_0005__CITY)
& has_arg0(R_0264_0002__WALKED,R_0264_0001__THEY) ) ).
( (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))