arc(r_0217_0003___apos_s, r_0217_0002__That, arg0).
arc(r_0217_0003___apos_s, z_000_217_a_dick_1952_9, prd).
arc(r_0217_0006__fired, r_0217_0005__they, arg0).
arc(r_0217_0006__fired, z_000_217_a_dick_1952_9, r_0217_0007__from_nim22).

fof(formula,axiom,
    ? [R_0217_0002__THAT,Z_000_217_A_DICK_1952_9,R_0217_0003___APOS_S,R_0217_0005__THEY,R_0217_0006__FIRED] :
      ( r_0217_0002__That(R_0217_0002__THAT)
      & r_0217_0005__they(R_0217_0005__THEY)
      & z_000_217_a_dick_1952_9(Z_000_217_A_DICK_1952_9)
      & r_0217_0006__fired(R_0217_0006__FIRED)
      & has_r_0217_0007__from_nim22(R_0217_0006__FIRED,Z_000_217_A_DICK_1952_9)
      & has_arg0(R_0217_0006__FIRED,R_0217_0005__THEY)
      & r_0217_0003___apos_s(R_0217_0003___APOS_S)
      & has_prd(R_0217_0003___APOS_S,Z_000_217_A_DICK_1952_9)
      & has_arg0(R_0217_0003___APOS_S,R_0217_0002__THAT) ) ).

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