( (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) ) ).