TSPC 494_a_dick

494_a_dick_1952
“Even at the end, even after they had begun to fight they still knew, someplace down inside them, that their real treasure was this, their books and pictures, their myths.

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_0012__to_r_0494_0013__fight, scope).
arc(r_0494_0012__to_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_nim9).
arc(r_0494_0016__knew, r_0494_0014__they, arg0).
arc(r_0494_0016__knew, r_0494_0015__still, nim38).
arc(r_0494_0016__knew, r_0494_0018__someplace, nim45).
arc(r_0494_0016__knew, r_0494_0023__that_r_0494_0027__was, arg1).
arc(r_0494_0018__someplace, r_0494_0014__they, r_0494_0019__down_r_0494_0020__inside).
arc(r_0494_0023__that_r_0494_0027__was, r_0494_0026__treasure, arg0).
arc(r_0494_0023__that_r_0494_0027__was, r_0494_0028__this, prd).
arc(r_0494_0026__treasure, r_0494_0014__they, gen).
arc(r_0494_0026__treasure, r_0494_0025__real, attrib66).
arc(r_0494_0032__and, r_0494_0014__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_0014__they, gen).
arc(z_000_494_a_dick_1952_78, r_0494_0028__this, arg0).
arc(z_000_494_a_dick_1952_78, z_000_494_a_dick_1952_80, prd).
arc(z_000_494_a_dick_1952_80, r_0494_0032__and, conj1).
arc(z_000_494_a_dick_1952_80, r_0494_0036__myths, conj2).

fof(formula,axiom,
    ? [R_494_7_EVEN_AFTER,R_494_10_HAD_BEGUN_TO_FIGHT,R_494_9_THEY,R_494_16_KNEW,R_494_23_THAT_WAS,R_494_26_TREASURE,R_494_25_REAL,R_494_15_STILL,R_494_18_SOMEPLACE,R_494_4_THE_END,Z_494_A_DICK_1952_78,R_494_28_THIS,Z_494_A_DICK_1952_80,R_494_32_AND,R_494_31_BOOKS,R_494_33_PICTURES,R_494_36_MYTHS,R_494_14_THEY] :
      ( they(R_494_9_THEY)
      & real(R_494_25_REAL)
      & still(R_494_15_STILL)
      & the_end(R_494_4_THE_END)
      & this(R_494_28_THIS)
      & books(R_494_31_BOOKS)
      & pictures(R_494_33_PICTURES)
      & they(R_494_14_THEY)
      & even_after(R_494_7_EVEN_AFTER)
      & conj1(R_494_7_EVEN_AFTER,R_494_10_HAD_BEGUN_TO_FIGHT)
      & had_begun_to_fight(R_494_10_HAD_BEGUN_TO_FIGHT,R_494_9_THEY)
      & conj2(R_494_7_EVEN_AFTER,R_494_16_KNEW)
      & knew(R_494_16_KNEW,R_494_14_THEY,R_494_23_THAT_WAS)
      & that_was(R_494_23_THAT_WAS,R_494_26_TREASURE,R_494_28_THIS)
      & treasure(R_494_26_TREASURE)
      & attrib66(R_494_26_TREASURE,R_494_25_REAL)
      & gen(R_494_26_TREASURE,R_494_14_THEY)
      & nim38(R_494_16_KNEW,R_494_15_STILL)
      & nim45(R_494_16_KNEW,R_494_18_SOMEPLACE)
      & someplace(R_494_18_SOMEPLACE)
      & down_inside(R_494_18_SOMEPLACE,R_494_14_THEY)
      & even_at_nim9(R_494_16_KNEW,R_494_4_THE_END)
      & z_494_a_dick_1952_78(Z_494_A_DICK_1952_78,R_494_28_THIS,Z_494_A_DICK_1952_80)
      & z_494_a_dick_1952_80(Z_494_A_DICK_1952_80)
      & conj1(Z_494_A_DICK_1952_80,R_494_32_AND)
      & and(R_494_32_AND)
      & conj1(R_494_32_AND,R_494_31_BOOKS)
      & conj2(R_494_32_AND,R_494_33_PICTURES)
      & gen(R_494_32_AND,R_494_14_THEY)
      & conj2(Z_494_A_DICK_1952_80,R_494_36_MYTHS)
      & myths(R_494_36_MYTHS)
      & gen(R_494_36_MYTHS,R_494_14_THEY) ) ).

( (IP-MAT (PULQ <ldquo>)
          (PP-NIM (ADV Even;{even})
                  (P-ROLE at;{at})
                  (NP (D the;{the})
                      (N end;{end})))
          (PUNC ,)
          (PP-SCON (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 ,)
                                      (IP-PPL (NP-PRD (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))