Context                Previous, Next                Top


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 r_0489_0002__all_quant all [quant] r_0489_0005__is is r_0489_0002__all_quant->r_0489_0005__is [scope] z_000_489_a_dick_1952_22 r_0489_0002__all_quant->z_000_489_a_dick_1952_22 [restriction] r_0489_0004__literature literature 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] 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] r_0489_0003__their their r_0489_0004__literature->r_0489_0003__their [gen] 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_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] 
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_4 Probably n489_a_dick_1952_7 all n489_a_dick_1952_10 their n489_a_dick_1952_12 literature n489_a_dick_1952_14 *ICH*-153 n489_a_dick_1952_16 is n489_a_dick_1952_19 here n489_a_dick_1952_21 , n489_a_dick_1952_28 their n489_a_dick_1952_30 stories n489_a_dick_1952_32 , n489_a_dick_1952_37 their n489_a_dick_1952_39 myths n489_a_dick_1952_41 , n489_a_dick_1952_46 their n489_a_dick_1952_48 ideas n489_a_dick_1952_51 about n489_a_dick_1952_54 the n489_a_dick_1952_56 universe n489_a_dick_1952_58 . n489_a_dick_1952_60 <rdquo> n489_a_dick_1952_1 IP-MAT n489_a_dick_1952_2 ADVP-NIM n489_a_dick_1952_1->n489_a_dick_1952_2 n489_a_dick_1952_5 NP-SBJ n489_a_dick_1952_1->n489_a_dick_1952_5 n489_a_dick_1952_15 BEP;_Ip_ n489_a_dick_1952_1->n489_a_dick_1952_15 n489_a_dick_1952_17 ADVP-CLR n489_a_dick_1952_1->n489_a_dick_1952_17 n489_a_dick_1952_20 PUNC n489_a_dick_1952_1->n489_a_dick_1952_20 n489_a_dick_1952_22 IP-PPL-EPD-153 n489_a_dick_1952_1->n489_a_dick_1952_22 n489_a_dick_1952_57 PUNC n489_a_dick_1952_1->n489_a_dick_1952_57 n489_a_dick_1952_59 PURQ n489_a_dick_1952_1->n489_a_dick_1952_59 n489_a_dick_1952_3 ADV n489_a_dick_1952_2->n489_a_dick_1952_3 n489_a_dick_1952_3->n489_a_dick_1952_4 n489_a_dick_1952_6 Q n489_a_dick_1952_5->n489_a_dick_1952_6 n489_a_dick_1952_8 NP-GEN n489_a_dick_1952_5->n489_a_dick_1952_8 n489_a_dick_1952_11 N n489_a_dick_1952_5->n489_a_dick_1952_11 n489_a_dick_1952_13 IP-PPL n489_a_dick_1952_5->n489_a_dick_1952_13 n489_a_dick_1952_6->n489_a_dick_1952_7 n489_a_dick_1952_9 PRO;_genm_ n489_a_dick_1952_8->n489_a_dick_1952_9 n489_a_dick_1952_9->n489_a_dick_1952_10 n489_a_dick_1952_11->n489_a_dick_1952_12 n489_a_dick_1952_13->n489_a_dick_1952_14 n489_a_dick_1952_15->n489_a_dick_1952_16 n489_a_dick_1952_18 ADV n489_a_dick_1952_17->n489_a_dick_1952_18 n489_a_dick_1952_18->n489_a_dick_1952_19 n489_a_dick_1952_20->n489_a_dick_1952_21 n489_a_dick_1952_23 NP-PRD n489_a_dick_1952_22->n489_a_dick_1952_23 n489_a_dick_1952_24 NLYR n489_a_dick_1952_23->n489_a_dick_1952_24 n489_a_dick_1952_25 NLYR n489_a_dick_1952_24->n489_a_dick_1952_25 n489_a_dick_1952_31 PUNC n489_a_dick_1952_24->n489_a_dick_1952_31 n489_a_dick_1952_33 CONJP n489_a_dick_1952_24->n489_a_dick_1952_33 n489_a_dick_1952_40 PUNC n489_a_dick_1952_24->n489_a_dick_1952_40 n489_a_dick_1952_42 CONJP n489_a_dick_1952_24->n489_a_dick_1952_42 n489_a_dick_1952_26 NP-GEN n489_a_dick_1952_25->n489_a_dick_1952_26 n489_a_dick_1952_29 NS n489_a_dick_1952_25->n489_a_dick_1952_29 n489_a_dick_1952_27 PRO;_genm_ n489_a_dick_1952_26->n489_a_dick_1952_27 n489_a_dick_1952_27->n489_a_dick_1952_28 n489_a_dick_1952_29->n489_a_dick_1952_30 n489_a_dick_1952_31->n489_a_dick_1952_32 n489_a_dick_1952_34 NLYR n489_a_dick_1952_33->n489_a_dick_1952_34 n489_a_dick_1952_35 NP-GEN n489_a_dick_1952_34->n489_a_dick_1952_35 n489_a_dick_1952_38 NS n489_a_dick_1952_34->n489_a_dick_1952_38 n489_a_dick_1952_36 PRO;_genm_ n489_a_dick_1952_35->n489_a_dick_1952_36 n489_a_dick_1952_36->n489_a_dick_1952_37 n489_a_dick_1952_38->n489_a_dick_1952_39 n489_a_dick_1952_40->n489_a_dick_1952_41 n489_a_dick_1952_43 NLYR n489_a_dick_1952_42->n489_a_dick_1952_43 n489_a_dick_1952_44 NP-GEN n489_a_dick_1952_43->n489_a_dick_1952_44 n489_a_dick_1952_47 NS n489_a_dick_1952_43->n489_a_dick_1952_47 n489_a_dick_1952_49 PP n489_a_dick_1952_43->n489_a_dick_1952_49 n489_a_dick_1952_45 PRO;_genm_ n489_a_dick_1952_44->n489_a_dick_1952_45 n489_a_dick_1952_45->n489_a_dick_1952_46 n489_a_dick_1952_47->n489_a_dick_1952_48 n489_a_dick_1952_50 P-ROLE n489_a_dick_1952_49->n489_a_dick_1952_50 n489_a_dick_1952_52 NP n489_a_dick_1952_49->n489_a_dick_1952_52 n489_a_dick_1952_50->n489_a_dick_1952_51 n489_a_dick_1952_53 D n489_a_dick_1952_52->n489_a_dick_1952_53 n489_a_dick_1952_55 N n489_a_dick_1952_52->n489_a_dick_1952_55 n489_a_dick_1952_53->n489_a_dick_1952_54 n489_a_dick_1952_55->n489_a_dick_1952_56 n489_a_dick_1952_57->n489_a_dick_1952_58 n489_a_dick_1952_59->n489_a_dick_1952_60 
( (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))