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,
! [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) ) ) ).
( (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))