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

%3 r_0489_0002__all_quant all [quant] r_0489_0004__literature literature r_0489_0002__all_quant->r_0489_0004__literature [restriction] r_0489_0005__is is r_0489_0002__all_quant->r_0489_0005__is [scope] r_0489_0003__their their r_0489_0004__literature->r_0489_0003__their [gen] r_0489_0005__is->r_0489_0004__literature [arg0] r_0489_0001__Probably Probably r_0489_0005__is->r_0489_0001__Probably [nim] r_0489_0006__here here r_0489_0005__is->r_0489_0006__here [clr] r_0489_0009__stories stories r_0489_0009__stories->r_0489_0003__their [gen] r_0489_0012__myths myths r_0489_0012__myths->r_0489_0003__their [gen] r_0489_0015__ideas ideas r_0489_0015__ideas->r_0489_0003__their [gen] r_0489_0017__the_r_0489_0018__universe the universe r_0489_0015__ideas->r_0489_0017__the_r_0489_0018__universe about z_000_489_a_dick_1952_22 z_000_489_a_dick_1952_22->r_0489_0004__literature [arg0] z_000_489_a_dick_1952_24 z_000_489_a_dick_1952_22->z_000_489_a_dick_1952_24 [prd] z_000_489_a_dick_1952_24->r_0489_0009__stories [conj1] z_000_489_a_dick_1952_24->r_0489_0012__myths [conj2] z_000_489_a_dick_1952_24->r_0489_0015__ideas [conj3]
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).



%3 z_000_489_a_dick_1952_24 r_0489_0015__ideas ideas z_000_489_a_dick_1952_24->r_0489_0015__ideas [conj3] r_0489_0012__myths myths z_000_489_a_dick_1952_24->r_0489_0012__myths [conj2] r_0489_0009__stories stories z_000_489_a_dick_1952_24->r_0489_0009__stories [conj1] r_0489_0017__the_r_0489_0018__universe the universe r_0489_0015__ideas->r_0489_0017__the_r_0489_0018__universe about r_0489_0003__their their r_0489_0015__ideas->r_0489_0003__their [gen] r_0489_0012__myths->r_0489_0003__their [gen] r_0489_0009__stories->r_0489_0003__their [gen] z_000_489_a_dick_1952_22 z_000_489_a_dick_1952_22->z_000_489_a_dick_1952_24 [prd] r_0489_0004__literature literature z_000_489_a_dick_1952_22->r_0489_0004__literature [arg0] r_0489_0004__literature->r_0489_0003__their [gen] r_0489_0005__is is r_0489_0005__is->r_0489_0004__literature [arg0] r_0489_0006__here here r_0489_0005__is->r_0489_0006__here [clr] r_0489_0001__Probably Probably r_0489_0005__is->r_0489_0001__Probably [nim] r_0489_0002__all_quant all [quant] r_0489_0002__all_quant->z_000_489_a_dick_1952_22 [restriction] r_0489_0002__all_quant->r_0489_0005__is [scope]
fof(formula,axiom,
    ! [Z_489_A_DICK_1952_22,R_489_4_LITERATURE,Z_489_A_DICK_1952_24,R_489_9_STORIES,R_489_12_MYTHS,R_489_15_IDEAS,R_489_3_THEIR,R_489_17_THE_UNIVERSE] :
      ( ( their(R_489_3_THEIR)
        & the_universe(R_489_17_THE_UNIVERSE)
        & z_489_a_dick_1952_22(Z_489_A_DICK_1952_22,R_489_4_LITERATURE,Z_489_A_DICK_1952_24)
        & literature(R_489_4_LITERATURE)
        & gen(R_489_4_LITERATURE,R_489_3_THEIR)
        & z_489_a_dick_1952_24(Z_489_A_DICK_1952_24)
        & conj1(Z_489_A_DICK_1952_24,R_489_9_STORIES)
        & stories(R_489_9_STORIES)
        & gen(R_489_9_STORIES,R_489_3_THEIR)
        & conj2(Z_489_A_DICK_1952_24,R_489_12_MYTHS)
        & myths(R_489_12_MYTHS)
        & gen(R_489_12_MYTHS,R_489_3_THEIR)
        & conj3(Z_489_A_DICK_1952_24,R_489_15_IDEAS)
        & ideas(R_489_15_IDEAS)
        & gen(R_489_15_IDEAS,R_489_3_THEIR)
        & about(R_489_15_IDEAS,R_489_17_THE_UNIVERSE) )
     => ? [R_489_5_IS,R_489_6_HERE,R_489_1_PROBABLY] :
          ( here(R_489_6_HERE)
          & probably(R_489_1_PROBABLY)
          & is(R_489_5_IS,R_489_4_LITERATURE)
          & clr17(R_489_5_IS,R_489_6_HERE)
          & nim2(R_489_5_IS,R_489_1_PROBABLY) ) ) ).



n489_a_dick_1952 n489_a_dick_1952__1_1_1_1 Probably n489_a_dick_1952__1_2_1_1 all n489_a_dick_1952__1_2_2_1_1 their n489_a_dick_1952__1_2_3_1 literature n489_a_dick_1952__1_2_4_1 *ICH*-153 n489_a_dick_1952__1_3_1 is n489_a_dick_1952__1_4_1_1 here n489_a_dick_1952__1_5_1 , n489_a_dick_1952__1_6_1_1_1_1_1_1 their n489_a_dick_1952__1_6_1_1_1_2_1 stories n489_a_dick_1952__1_6_1_1_2_1 , n489_a_dick_1952__1_6_1_1_3_1_1_1_1 their n489_a_dick_1952__1_6_1_1_3_1_2_1 myths n489_a_dick_1952__1_6_1_1_4_1 , n489_a_dick_1952__1_6_1_1_5_1_1_1_1 their n489_a_dick_1952__1_6_1_1_5_1_2_1 ideas n489_a_dick_1952__1_6_1_1_5_1_3_1_1 about n489_a_dick_1952__1_6_1_1_5_1_3_2_1_1 the n489_a_dick_1952__1_6_1_1_5_1_3_2_2_1 universe n489_a_dick_1952__1_7_1 . n489_a_dick_1952__1_8_1 <rdquo> n489_a_dick_1952__1 IP-MAT n489_a_dick_1952__1_1 ADVP-NIM n489_a_dick_1952__1->n489_a_dick_1952__1_1 n489_a_dick_1952__1_2 NP-SBJ n489_a_dick_1952__1->n489_a_dick_1952__1_2 n489_a_dick_1952__1_3 BEP;_Ip_ n489_a_dick_1952__1->n489_a_dick_1952__1_3 n489_a_dick_1952__1_4 ADVP-CLR n489_a_dick_1952__1->n489_a_dick_1952__1_4 n489_a_dick_1952__1_5 PUNC n489_a_dick_1952__1->n489_a_dick_1952__1_5 n489_a_dick_1952__1_6 IP-PPL-EPD-153 n489_a_dick_1952__1->n489_a_dick_1952__1_6 n489_a_dick_1952__1_7 PUNC n489_a_dick_1952__1->n489_a_dick_1952__1_7 n489_a_dick_1952__1_8 PURQ n489_a_dick_1952__1->n489_a_dick_1952__1_8 n489_a_dick_1952__1_1_1 ADV n489_a_dick_1952__1_1->n489_a_dick_1952__1_1_1 n489_a_dick_1952__1_1_1->n489_a_dick_1952__1_1_1_1 n489_a_dick_1952__1_2_1 Q n489_a_dick_1952__1_2->n489_a_dick_1952__1_2_1 n489_a_dick_1952__1_2_2 NP-GEN n489_a_dick_1952__1_2->n489_a_dick_1952__1_2_2 n489_a_dick_1952__1_2_3 N n489_a_dick_1952__1_2->n489_a_dick_1952__1_2_3 n489_a_dick_1952__1_2_4 IP-PPL n489_a_dick_1952__1_2->n489_a_dick_1952__1_2_4 n489_a_dick_1952__1_2_1->n489_a_dick_1952__1_2_1_1 n489_a_dick_1952__1_2_2_1 PRO;_genm_ n489_a_dick_1952__1_2_2->n489_a_dick_1952__1_2_2_1 n489_a_dick_1952__1_2_2_1->n489_a_dick_1952__1_2_2_1_1 n489_a_dick_1952__1_2_3->n489_a_dick_1952__1_2_3_1 n489_a_dick_1952__1_2_4->n489_a_dick_1952__1_2_4_1 n489_a_dick_1952__1_3->n489_a_dick_1952__1_3_1 n489_a_dick_1952__1_4_1 ADV n489_a_dick_1952__1_4->n489_a_dick_1952__1_4_1 n489_a_dick_1952__1_4_1->n489_a_dick_1952__1_4_1_1 n489_a_dick_1952__1_5->n489_a_dick_1952__1_5_1 n489_a_dick_1952__1_6_1 NP-PRD n489_a_dick_1952__1_6->n489_a_dick_1952__1_6_1 n489_a_dick_1952__1_6_1_1 NLYR n489_a_dick_1952__1_6_1->n489_a_dick_1952__1_6_1_1 n489_a_dick_1952__1_6_1_1_1 NLYR n489_a_dick_1952__1_6_1_1->n489_a_dick_1952__1_6_1_1_1 n489_a_dick_1952__1_6_1_1_2 PUNC n489_a_dick_1952__1_6_1_1->n489_a_dick_1952__1_6_1_1_2 n489_a_dick_1952__1_6_1_1_3 CONJP n489_a_dick_1952__1_6_1_1->n489_a_dick_1952__1_6_1_1_3 n489_a_dick_1952__1_6_1_1_4 PUNC n489_a_dick_1952__1_6_1_1->n489_a_dick_1952__1_6_1_1_4 n489_a_dick_1952__1_6_1_1_5 CONJP n489_a_dick_1952__1_6_1_1->n489_a_dick_1952__1_6_1_1_5 n489_a_dick_1952__1_6_1_1_1_1 NP-GEN n489_a_dick_1952__1_6_1_1_1->n489_a_dick_1952__1_6_1_1_1_1 n489_a_dick_1952__1_6_1_1_1_2 NS n489_a_dick_1952__1_6_1_1_1->n489_a_dick_1952__1_6_1_1_1_2 n489_a_dick_1952__1_6_1_1_1_1_1 PRO;_genm_ n489_a_dick_1952__1_6_1_1_1_1->n489_a_dick_1952__1_6_1_1_1_1_1 n489_a_dick_1952__1_6_1_1_1_1_1->n489_a_dick_1952__1_6_1_1_1_1_1_1 n489_a_dick_1952__1_6_1_1_1_2->n489_a_dick_1952__1_6_1_1_1_2_1 n489_a_dick_1952__1_6_1_1_2->n489_a_dick_1952__1_6_1_1_2_1 n489_a_dick_1952__1_6_1_1_3_1 NLYR n489_a_dick_1952__1_6_1_1_3->n489_a_dick_1952__1_6_1_1_3_1 n489_a_dick_1952__1_6_1_1_3_1_1 NP-GEN n489_a_dick_1952__1_6_1_1_3_1->n489_a_dick_1952__1_6_1_1_3_1_1 n489_a_dick_1952__1_6_1_1_3_1_2 NS n489_a_dick_1952__1_6_1_1_3_1->n489_a_dick_1952__1_6_1_1_3_1_2 n489_a_dick_1952__1_6_1_1_3_1_1_1 PRO;_genm_ n489_a_dick_1952__1_6_1_1_3_1_1->n489_a_dick_1952__1_6_1_1_3_1_1_1 n489_a_dick_1952__1_6_1_1_3_1_1_1->n489_a_dick_1952__1_6_1_1_3_1_1_1_1 n489_a_dick_1952__1_6_1_1_3_1_2->n489_a_dick_1952__1_6_1_1_3_1_2_1 n489_a_dick_1952__1_6_1_1_4->n489_a_dick_1952__1_6_1_1_4_1 n489_a_dick_1952__1_6_1_1_5_1 NLYR n489_a_dick_1952__1_6_1_1_5->n489_a_dick_1952__1_6_1_1_5_1 n489_a_dick_1952__1_6_1_1_5_1_1 NP-GEN n489_a_dick_1952__1_6_1_1_5_1->n489_a_dick_1952__1_6_1_1_5_1_1 n489_a_dick_1952__1_6_1_1_5_1_2 NS n489_a_dick_1952__1_6_1_1_5_1->n489_a_dick_1952__1_6_1_1_5_1_2 n489_a_dick_1952__1_6_1_1_5_1_3 PP n489_a_dick_1952__1_6_1_1_5_1->n489_a_dick_1952__1_6_1_1_5_1_3 n489_a_dick_1952__1_6_1_1_5_1_1_1 PRO;_genm_ n489_a_dick_1952__1_6_1_1_5_1_1->n489_a_dick_1952__1_6_1_1_5_1_1_1 n489_a_dick_1952__1_6_1_1_5_1_1_1->n489_a_dick_1952__1_6_1_1_5_1_1_1_1 n489_a_dick_1952__1_6_1_1_5_1_2->n489_a_dick_1952__1_6_1_1_5_1_2_1 n489_a_dick_1952__1_6_1_1_5_1_3_1 P-ROLE n489_a_dick_1952__1_6_1_1_5_1_3->n489_a_dick_1952__1_6_1_1_5_1_3_1 n489_a_dick_1952__1_6_1_1_5_1_3_2 NP n489_a_dick_1952__1_6_1_1_5_1_3->n489_a_dick_1952__1_6_1_1_5_1_3_2 n489_a_dick_1952__1_6_1_1_5_1_3_1->n489_a_dick_1952__1_6_1_1_5_1_3_1_1 n489_a_dick_1952__1_6_1_1_5_1_3_2_1 D n489_a_dick_1952__1_6_1_1_5_1_3_2->n489_a_dick_1952__1_6_1_1_5_1_3_2_1 n489_a_dick_1952__1_6_1_1_5_1_3_2_2 N n489_a_dick_1952__1_6_1_1_5_1_3_2->n489_a_dick_1952__1_6_1_1_5_1_3_2_2 n489_a_dick_1952__1_6_1_1_5_1_3_2_1->n489_a_dick_1952__1_6_1_1_5_1_3_2_1_1 n489_a_dick_1952__1_6_1_1_5_1_3_2_2->n489_a_dick_1952__1_6_1_1_5_1_3_2_2_1 n489_a_dick_1952__1_7->n489_a_dick_1952__1_7_1 n489_a_dick_1952__1_8->n489_a_dick_1952__1_8_1
( (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))