264_a_dick_1952
They walked into the city between the ruined buildings.
( (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))
arc(r_0264_0002__walked_r_0264_0003__into,r_0264_0001__They,arg0).
arc(r_0264_0002__walked_r_0264_0003__into,r_0264_0004__the_r_0264_0005__city,arg1).
arc(r_0264_0002__walked_r_0264_0003__into,r_0264_0007__the_r_0264_0009__buildings,r_0264_0006__between__nim).
arc(r_0264_0007__the_r_0264_0009__buildings,r_0264_0008__ruined,attrib).
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_0003__INTO] :
( 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_0003__into(R_0264_0002__WALKED_R_0264_0003__INTO)
& has_r_0264_0006__between__nim(R_0264_0002__WALKED_R_0264_0003__INTO,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_attrib(R_0264_0007__THE_R_0264_0009__BUILDINGS,R_0264_0008__RUINED)
& has_arg1(R_0264_0002__WALKED_R_0264_0003__INTO,R_0264_0004__THE_R_0264_0005__CITY)
& has_arg0(R_0264_0002__WALKED_R_0264_0003__INTO,R_0264_0001__THEY) ) ).