TSPC 489_a_dick

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

( (IP-MAT (ADVP-NIM (ADV Probably;{probably}))
          (NP-SBJ;{GROUP} (Q all;{all})
                          (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                          (N literature;{literature})
                          (PRN *ICH*-153))
          (BEP;_Ip_ is;{be})
          (ADVP-CLR (ADV here;{here}))
          (PUNC ,)
          (PRN-EPD-153 (NP (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))

arc(r_0489_0002__all__quant,r_0489_0004__literature,restriction).
arc(r_0489_0002__all__quant,r_0489_0005__is_r_0489_0006__here,scope).
arc(r_0489_0004__literature,r_0489_0003__their,gen).
arc(r_0489_0005__is_r_0489_0006__here,r_0489_0001__Probably,nim).
arc(r_0489_0005__is_r_0489_0006__here,r_0489_0004__literature,arg0).
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_0489_5012,r_0489_0009__stories,conj1).
arc(z_0489_5012,r_0489_0012__myths,conj2).
arc(z_0489_5012,r_0489_0015__ideas,conj3).
arc(z_0489_5013,r_0489_0004__literature,arg0).
arc(z_0489_5013,z_0489_5012,prd).

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_0489_5012,Z_0489_5013] :
      ( ( 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_0489_5013(Z_0489_5013)
        & has_prd(Z_0489_5013,Z_0489_5012)
        & z_0489_5012(Z_0489_5012)
        & has_conj3(Z_0489_5012,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_0489_5012,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_0489_5012,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_0489_5013,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_0005__IS_R_0489_0006__HERE] :
          ( r_0489_0001__Probably(R_0489_0001__PROBABLY)
          & r_0489_0005__is_r_0489_0006__here(R_0489_0005__IS_R_0489_0006__HERE)
          & has_arg0(R_0489_0005__IS_R_0489_0006__HERE,R_0489_0004__LITERATURE)
          & has_nim(R_0489_0005__IS_R_0489_0006__HERE,R_0489_0001__PROBABLY) ) ) ).