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_217_3__APOS_S,R_217_2_THAT,R_217_6_FIRED,R_217_5_THEY,Z_217_A_DICK_1952_9] :
      ( that(R_217_2_THAT)
      & they(R_217_5_THEY)
      & _apos_s(R_217_3__APOS_S,R_217_2_THAT,Z_217_A_DICK_1952_9)
      & fired(R_217_6_FIRED,R_217_5_THEY)
      & from_nim22(R_217_6_FIRED,Z_217_A_DICK_1952_9) ) ).

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