223_a_dick_1952
Where they fired from.”
( (FRAG (NP (IP-REL (ADVP-189 (RADV Where;{where}))
(NP-SBJ;{INHABITANTS} (PRO they;{they}))
(VBD;_I_ fired;{fire})
(PP-NIM (P-ROLE from;{from})
(ADVP *ICH*-189))))
(PUNC .)
(PURQ <rdquo>))
(ID 223_a_dick_1952))
arc(r_0223_0003__fired,r_0223_0001__Where,r_0223_0004__from__nim).
arc(r_0223_0003__fired,r_0223_0002__they,arg0).
arc(z_0223_5005,r_0223_0001__Where,z_0223_5002).
fof(formula,axiom,
? [R_0223_0001__WHERE,R_0223_0002__THEY,R_0223_0003__FIRED,Z_0223_5005] :
( r_0223_0001__Where(R_0223_0001__WHERE)
& r_0223_0002__they(R_0223_0002__THEY)
& z_0223_5005(Z_0223_5005)
& has_z_0223_5002(Z_0223_5005,R_0223_0001__WHERE)
& r_0223_0003__fired(R_0223_0003__FIRED)
& has_arg0(R_0223_0003__FIRED,R_0223_0002__THEY)
& has_r_0223_0004__from__nim(R_0223_0003__FIRED,R_0223_0001__WHERE) ) ).