217_a_dick_1952
“That's where they fired from.
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ (D;_nphd_ That;{that}))
(BEP;_Ln_ <apos>s;{be})
(NP-PRD (IP-REL (ADVP-184 (RADV where;{where}))
(NP-SBJ;{INHABITANTS} (PRO they;{they}))
(VBD;_I_ fired;{fire})
(PP-NIM (P-ROLE from;{from})
(ADVP *ICH*-184))))
(PUNC .))
(ID 217_a_dick_1952))
arc(r_0217_0003___apos_s,r_0217_0002__That,arg0).
arc(r_0217_0003___apos_s,r_0217_0004__where,prd).
arc(r_0217_0006__fired,r_0217_0004__where,r_0217_0007__from__nim).
arc(r_0217_0006__fired,r_0217_0005__they,arg0).
fof(formula,axiom,
? [R_0217_0002__THAT,R_0217_0004__WHERE,R_0217_0003___APOS_S,R_0217_0005__THEY,R_0217_0006__FIRED] :
( r_0217_0002__That(R_0217_0002__THAT)
& r_0217_0004__where(R_0217_0004__WHERE)
& r_0217_0005__they(R_0217_0005__THEY)
& r_0217_0006__fired(R_0217_0006__FIRED)
& has_arg0(R_0217_0006__FIRED,R_0217_0005__THEY)
& has_r_0217_0007__from__nim(R_0217_0006__FIRED,R_0217_0004__WHERE)
& r_0217_0003___apos_s(R_0217_0003___APOS_S)
& has_prd(R_0217_0003___APOS_S,R_0217_0004__WHERE)
& has_arg0(R_0217_0003___APOS_S,R_0217_0002__THAT) ) ).