( (IP-MAT (PULQ <ldquo>)
          (PP-NIM (ADVP-NIM (ADV Even;{even}))
                  (P-ROLE at;{at})
                  (NP (D the;{the})
                      (N end;{end})))
          (PUNC ,)
          (PP-SCON (ADVP-NIM (ADV even;{even}))
                   (P-CONN after;{after})
                   (IP-ADV (NP-SBJ;{INHABITANTS} (PRO they;{they}))
                           (HVD;_cat_Ve_ had;{have})
                           (IP-PPL-CAT (VVN;_cat_Vt_ begun;{begin})
                                       (IP-INF-CAT (TO to;{to})
                                                   (VB;_I_ fight;{fight})))))
          (NP-SBJ;{INHABITANTS} (PRO they;{they}))
          (ADVP-NIM (ADV still;{still}))
          (VBD;_I_ knew;{know})
          (PUNC ,)
          (ADVP-NIM (ADV someplace;{someplace})
                    (PP (RP down;{down})
                        (P-ROLE inside;{inside})
                        (NP;{INHABITANTS} (PRO them;{they}))))
          (PUNC ,)
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                                      (ADJP (ADJ real;{real}))
                                      (N treasure;{treasure}))
                              (BED;_Ln_ was;{be})
                              (NP-PRD (D;_nphd_ this;{this})
                                      (PUNC ,)
                                      (PRN (NP (NLYR (NLYR (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                                                           (NLYR (NLYR (NS books;{book}))
                                                                 (CONJP (CONJ and;{and})
                                                                        (NLYR (NS pictures;{picture})))))
                                                     (PUNC ,)
                                                     (CONJP (NLYR (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                                                                  (NS myths;{myth})))))))))
          (PUNC .))
  (ID 494_a_dick_1952))

arc(r_0494_0007__even_r_0494_0008__after,r_0494_0010__had,restriction).
arc(r_0494_0007__even_r_0494_0008__after,r_0494_0016__knew,scope).
arc(r_0494_0010__had,r_0494_0011__begun,scope).
arc(r_0494_0011__begun,r_0494_0013__fight,scope).
arc(r_0494_0013__fight,r_0494_0009__they,arg0).
arc(r_0494_0016__knew,r_0494_0004__the_r_0494_0005__end,r_0494_0002__Even_r_0494_0003__at__nim).
arc(r_0494_0016__knew,r_0494_0009__they,arg0).
arc(r_0494_0016__knew,r_0494_0015__still,nim).
arc(r_0494_0016__knew,r_0494_0018__someplace,nim).
arc(r_0494_0016__knew,r_0494_0027__was,arg1).
arc(r_0494_0018__someplace,r_0494_0009__they,r_0494_0020__inside).
arc(r_0494_0026__treasure,r_0494_0009__they,gen).
arc(r_0494_0026__treasure,r_0494_0025__real,attrib).
arc(r_0494_0027__was,r_0494_0026__treasure,arg0).
arc(r_0494_0027__was,r_0494_0028__this,prd).
arc(r_0494_0032__and,r_0494_0009__they,gen).
arc(r_0494_0032__and,r_0494_0031__books,conj1).
arc(r_0494_0032__and,r_0494_0033__pictures,conj2).
arc(r_0494_0036__myths,r_0494_0009__they,gen).
arc(z_0494_5020,r_0494_0032__and,conj1).
arc(z_0494_5020,r_0494_0036__myths,conj2).
arc(z_0494_5021,r_0494_0028__this,arg0).
arc(z_0494_5021,z_0494_5020,prd).

fof(formula,axiom,
    ? [R_0494_0009__THEY,R_0494_0010__HAD_R_0494_0011__BEGUN_R_0494_0013__FIGHT,R_0494_0004__THE_R_0494_0005__END,R_0494_0015__STILL,R_0494_0018__SOMEPLACE,R_0494_0025__REAL,R_0494_0026__TREASURE,R_0494_0028__THIS,R_0494_0027__WAS,R_0494_0016__KNEW,R_0494_0007__EVEN_R_0494_0008__AFTER,R_0494_0031__BOOKS,R_0494_0033__PICTURES,R_0494_0032__AND,R_0494_0036__MYTHS,Z_0494_5020,Z_0494_5021] :
      ( r_0494_0004__the_r_0494_0005__end(R_0494_0004__THE_R_0494_0005__END)
      & r_0494_0009__they(R_0494_0009__THEY)
      & r_0494_0015__still(R_0494_0015__STILL)
      & r_0494_0025__real(R_0494_0025__REAL)
      & r_0494_0028__this(R_0494_0028__THIS)
      & r_0494_0031__books(R_0494_0031__BOOKS)
      & r_0494_0033__pictures(R_0494_0033__PICTURES)
      & z_0494_5021(Z_0494_5021)
      & has_prd(Z_0494_5021,Z_0494_5020)
      & z_0494_5020(Z_0494_5020)
      & has_conj2(Z_0494_5020,R_0494_0036__MYTHS)
      & r_0494_0036__myths(R_0494_0036__MYTHS)
      & has_gen(R_0494_0036__MYTHS,R_0494_0009__THEY)
      & has_conj1(Z_0494_5020,R_0494_0032__AND)
      & r_0494_0032__and(R_0494_0032__AND)
      & has_conj2(R_0494_0032__AND,R_0494_0033__PICTURES)
      & has_conj1(R_0494_0032__AND,R_0494_0031__BOOKS)
      & has_gen(R_0494_0032__AND,R_0494_0009__THEY)
      & has_arg0(Z_0494_5021,R_0494_0028__THIS)
      & r_0494_0007__even_r_0494_0008__after(R_0494_0007__EVEN_R_0494_0008__AFTER)
      & has_conj2(R_0494_0007__EVEN_R_0494_0008__AFTER,R_0494_0016__KNEW)
      & r_0494_0016__knew(R_0494_0016__KNEW)
      & has_arg1(R_0494_0016__KNEW,R_0494_0027__WAS)
      & r_0494_0027__was(R_0494_0027__WAS)
      & has_prd(R_0494_0027__WAS,R_0494_0028__THIS)
      & has_arg0(R_0494_0027__WAS,R_0494_0026__TREASURE)
      & r_0494_0026__treasure(R_0494_0026__TREASURE)
      & has_attrib(R_0494_0026__TREASURE,R_0494_0025__REAL)
      & has_gen(R_0494_0026__TREASURE,R_0494_0009__THEY)
      & has_nim(R_0494_0016__KNEW,R_0494_0018__SOMEPLACE)
      & r_0494_0018__someplace(R_0494_0018__SOMEPLACE)
      & has_r_0494_0020__inside(R_0494_0018__SOMEPLACE,R_0494_0009__THEY)
      & has_nim(R_0494_0016__KNEW,R_0494_0015__STILL)
      & has_arg0(R_0494_0016__KNEW,R_0494_0009__THEY)
      & has_r_0494_0002__Even_r_0494_0003__at__nim(R_0494_0016__KNEW,R_0494_0004__THE_R_0494_0005__END)
      & has_conj1(R_0494_0007__EVEN_R_0494_0008__AFTER,R_0494_0010__HAD_R_0494_0011__BEGUN_R_0494_0013__FIGHT)
      & r_0494_0010__had_r_0494_0011__begun_r_0494_0013__fight(R_0494_0010__HAD_R_0494_0011__BEGUN_R_0494_0013__FIGHT)
      & has_arg0(R_0494_0010__HAD_R_0494_0011__BEGUN_R_0494_0013__FIGHT,R_0494_0009__THEY) ) ).