arc(r_0488_0003__are, r_0488_0002__Here, clr4).
arc(r_0488_0003__are, z_000_488_a_dick_1952_10, arg0).
arc(r_0488_0005__pictures, r_0488_0004__their, gen).
arc(r_0488_0008__records, r_0488_0007__their, gen).
arc(z_000_488_a_dick_1952_10, r_0488_0005__pictures, conj1).
arc(z_000_488_a_dick_1952_10, r_0488_0008__records, conj2).

fof(formula,axiom,
    ? [R_488_3_ARE,Z_488_A_DICK_1952_10,R_488_5_PICTURES,R_488_4_THEIR,R_488_8_RECORDS,R_488_7_THEIR,R_488_2_HERE] :
      ( their(R_488_4_THEIR)
      & their(R_488_7_THEIR)
      & here(R_488_2_HERE)
      & are(R_488_3_ARE,Z_488_A_DICK_1952_10)
      & z_488_a_dick_1952_10(Z_488_A_DICK_1952_10)
      & conj1(Z_488_A_DICK_1952_10,R_488_5_PICTURES)
      & pictures(R_488_5_PICTURES)
      & gen(R_488_5_PICTURES,R_488_4_THEIR)
      & conj2(Z_488_A_DICK_1952_10,R_488_8_RECORDS)
      & records(R_488_8_RECORDS)
      & gen(R_488_8_RECORDS,R_488_7_THEIR)
      & clr4(R_488_3_ARE,R_488_2_HERE) ) ).

( (IP-MAT (PULQ <ldquo>)
          (ADVP-TPC-CLR (ADV Here;{here}))
          (BEP;_Ip_ are;{be})
          (NP-SBJ (NLYR (NLYR (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                              (NS pictures;{picture}))
                        (PUNC ,)
                        (CONJP (NLYR (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                                     (NS records;{record})))))
          (PUNC .))
  (ID 488_a_dick_1952))