TSPC 489_a_dick

489_a_dick_1952
Probably all their literature is here, their stories, their myths, their ideas about the universe.”

arc(r_0489_0002__all_quant, r_0489_0004__literature, restriction).
arc(r_0489_0002__all_quant, r_0489_0005__is, scope).
arc(r_0489_0004__literature, r_0489_0003__their, gen).
arc(r_0489_0005__is, r_0489_0001__Probably, nim2).
arc(r_0489_0005__is, r_0489_0004__literature, arg0).
arc(r_0489_0005__is, r_0489_0006__here, clr17).
arc(r_0489_0009__stories, r_0489_0003__their, gen).
arc(r_0489_0012__myths, r_0489_0003__their, gen).
arc(r_0489_0015__ideas, r_0489_0003__their, gen).
arc(r_0489_0015__ideas, r_0489_0017__the_r_0489_0018__universe, r_0489_0016__about).
arc(z_000_489_a_dick_1952_22, r_0489_0004__literature, arg0).
arc(z_000_489_a_dick_1952_22, z_000_489_a_dick_1952_24, prd).
arc(z_000_489_a_dick_1952_24, r_0489_0009__stories, conj1).
arc(z_000_489_a_dick_1952_24, r_0489_0012__myths, conj2).
arc(z_000_489_a_dick_1952_24, r_0489_0015__ideas, conj3).

fof(formula,axiom,
    ! [R_0489_0004__LITERATURE,R_0489_0003__THEIR,R_0489_0009__STORIES,R_0489_0012__MYTHS,R_0489_0017__THE_R_0489_0018__UNIVERSE,R_0489_0015__IDEAS,Z_000_489_A_DICK_1952_24,Z_000_489_A_DICK_1952_22] :
      ( ( r_0489_0003__their(R_0489_0003__THEIR)
        & r_0489_0017__the_r_0489_0018__universe(R_0489_0017__THE_R_0489_0018__UNIVERSE)
        & z_000_489_a_dick_1952_22(Z_000_489_A_DICK_1952_22)
        & has_prd(Z_000_489_A_DICK_1952_22,Z_000_489_A_DICK_1952_24)
        & z_000_489_a_dick_1952_24(Z_000_489_A_DICK_1952_24)
        & has_conj3(Z_000_489_A_DICK_1952_24,R_0489_0015__IDEAS)
        & r_0489_0015__ideas(R_0489_0015__IDEAS)
        & has_r_0489_0016__about(R_0489_0015__IDEAS,R_0489_0017__THE_R_0489_0018__UNIVERSE)
        & has_gen(R_0489_0015__IDEAS,R_0489_0003__THEIR)
        & has_conj2(Z_000_489_A_DICK_1952_24,R_0489_0012__MYTHS)
        & r_0489_0012__myths(R_0489_0012__MYTHS)
        & has_gen(R_0489_0012__MYTHS,R_0489_0003__THEIR)
        & has_conj1(Z_000_489_A_DICK_1952_24,R_0489_0009__STORIES)
        & r_0489_0009__stories(R_0489_0009__STORIES)
        & has_gen(R_0489_0009__STORIES,R_0489_0003__THEIR)
        & has_arg0(Z_000_489_A_DICK_1952_22,R_0489_0004__LITERATURE)
        & r_0489_0004__literature(R_0489_0004__LITERATURE)
        & has_gen(R_0489_0004__LITERATURE,R_0489_0003__THEIR) )
     => ? [R_0489_0001__PROBABLY,R_0489_0006__HERE,R_0489_0005__IS] :
          ( r_0489_0001__Probably(R_0489_0001__PROBABLY)
          & r_0489_0006__here(R_0489_0006__HERE)
          & r_0489_0005__is(R_0489_0005__IS)
          & has_clr17(R_0489_0005__IS,R_0489_0006__HERE)
          & has_arg0(R_0489_0005__IS,R_0489_0004__LITERATURE)
          & has_nim2(R_0489_0005__IS,R_0489_0001__PROBABLY) ) ) ).

( (IP-MAT (ADVP-NIM (ADV Probably;{probably}))
          (NP-SBJ;{GROUP} (Q all;{all})
                          (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                          (N literature;{literature})
                          (IP-PPL *ICH*-153))
          (BEP;_Ip_ is;{be})
          (ADVP-CLR (ADV here;{here}))
          (PUNC ,)
          (IP-PPL-EPD-153 (NP-PRD (NLYR (NLYR (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                                              (NS stories;{story}))
                                        (PUNC ,)
                                        (CONJP (NLYR (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                                                     (NS myths;{myth})))
                                        (PUNC ,)
                                        (CONJP (NLYR (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                                                     (NS ideas;{idea})
                                                     (PP (P-ROLE about;{about})
                                                         (NP (D the;{the})
                                                             (N universe;{universe}))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 489_a_dick_1952))