( (FRAG (NP (D A;{a})
            (ADJP (ADJ dead;{dead}))
            (N skeleton;{skeleton})
            (PP (P-ROLE of;{of})
                (NP (D a;{a})
                    (N city;{city})))
            (PUNC ,)
            (PRN (IP-MAT (NP-SBJ (D;_nphd_ that;{that}))
                         (BEP;_Ln_ <apos>s;{be})
                         (NP-PRD (Q;_nphd_ all;{all})))))
        (PUNC .)
        (PURQ <rdquo>))
  (ID 259_a_dick_1952))

arc(r_0259_0001__A_r_0259_0003__skeleton,r_0259_0002__dead,attrib).
arc(r_0259_0001__A_r_0259_0003__skeleton,r_0259_0005__a_r_0259_0006__city,r_0259_0004__of).
arc(r_0259_0001__A_r_0259_0003__skeleton,r_0259_0010__all__quant,prn).
arc(r_0259_0009___apos_s,r_0259_0008__that,arg0).
arc(r_0259_0009___apos_s,z_0259_5009,prd).
arc(r_0259_0010__all__quant,r_0259_0009___apos_s,scope).
arc(r_0259_0010__all__quant,z_0259_5009,restriction).
arc(z_0259_5011,r_0259_0001__A_r_0259_0003__skeleton,z_0259_5002).

fof(formula,axiom,
    ? [R_0259_0002__DEAD,R_0259_0005__A_R_0259_0006__CITY,R_0259_0001__A_R_0259_0003__SKELETON,Z_0259_5011] :
      ( r_0259_0002__dead(R_0259_0002__DEAD)
      & r_0259_0005__a_r_0259_0006__city(R_0259_0005__A_R_0259_0006__CITY)
      & z_0259_5011(Z_0259_5011)
      & has_z_0259_5002(Z_0259_5011,R_0259_0001__A_R_0259_0003__SKELETON)
      & r_0259_0001__A_r_0259_0003__skeleton(R_0259_0001__A_R_0259_0003__SKELETON)
      & ! [Z_0259_5009] :
          ( z_0259_5009(Z_0259_5009)
         => ? [R_0259_0008__THAT,R_0259_0009___APOS_S] :
              ( r_0259_0008__that(R_0259_0008__THAT)
              & r_0259_0009___apos_s(R_0259_0009___APOS_S)
              & has_prd(R_0259_0009___APOS_S,Z_0259_5009)
              & has_arg0(R_0259_0009___APOS_S,R_0259_0008__THAT) ) )
      & has_r_0259_0004__of(R_0259_0001__A_R_0259_0003__SKELETON,R_0259_0005__A_R_0259_0006__CITY)
      & has_attrib(R_0259_0001__A_R_0259_0003__SKELETON,R_0259_0002__DEAD) ) ).