Context                Previous, Next                Top


586_a_dick_1952
“I was thinking that there must have been a time when this planet was quite different, when there was life on it.”

%3 r_0586_0003__was was r_0586_0004__thinking thinking r_0586_0003__was->r_0586_0004__thinking [scope] r_0586_0002__I I r_0586_0004__thinking->r_0586_0002__I [arg0] r_0586_0005__that_r_0586_0006__there_r_0586_0007__must that there must r_0586_0004__thinking->r_0586_0005__that_r_0586_0006__there_r_0586_0007__must [arg1] r_0586_0008__have have r_0586_0005__that_r_0586_0006__there_r_0586_0007__must->r_0586_0008__have [scope] r_0586_0009__been been r_0586_0008__have->r_0586_0009__been [scope] r_0586_0010__a_r_0586_0011__time a time r_0586_0009__been->r_0586_0010__a_r_0586_0011__time [arg0] r_0586_0015__was was r_0586_0015__was->r_0586_0010__a_r_0586_0011__time [nim] r_0586_0013__this_r_0586_0014__planet this planet r_0586_0015__was->r_0586_0013__this_r_0586_0014__planet [arg0] r_0586_0017__different different r_0586_0015__was->r_0586_0017__different [prd] r_0586_0016__quite quite r_0586_0017__different->r_0586_0016__quite [qual] r_0586_0020__there_r_0586_0021__was there was r_0586_0020__there_r_0586_0021__was->r_0586_0010__a_r_0586_0011__time [nim] r_0586_0022__life life r_0586_0020__there_r_0586_0021__was->r_0586_0022__life [arg0] r_0586_0024__it it r_0586_0020__there_r_0586_0021__was->r_0586_0024__it on [clr] 
arc(r_0586_0003__was, r_0586_0004__thinking, scope).
arc(r_0586_0004__thinking, r_0586_0002__I, arg0).
arc(r_0586_0004__thinking, r_0586_0005__that_r_0586_0006__there_r_0586_0007__must, arg1).
arc(r_0586_0005__that_r_0586_0006__there_r_0586_0007__must, r_0586_0008__have, scope).
arc(r_0586_0008__have, r_0586_0009__been, scope).
arc(r_0586_0009__been, r_0586_0010__a_r_0586_0011__time, arg0).
arc(r_0586_0015__was, r_0586_0010__a_r_0586_0011__time, nim32).
arc(r_0586_0015__was, r_0586_0013__this_r_0586_0014__planet, arg0).
arc(r_0586_0015__was, r_0586_0017__different, prd).
arc(r_0586_0017__different, r_0586_0016__quite, qual43).
arc(r_0586_0020__there_r_0586_0021__was, r_0586_0010__a_r_0586_0011__time, nim51).
arc(r_0586_0020__there_r_0586_0021__was, r_0586_0022__life, arg0).
arc(r_0586_0020__there_r_0586_0021__was, r_0586_0024__it, r_0586_0023__on_clr64).


%3 r_0586_0003__was_r_0586_0004__thinking was thinking r_0586_0002__I I r_0586_0003__was_r_0586_0004__thinking->r_0586_0002__I [arg0] r_0586_0005__that_r_0586_0006__there_r_0586_0007__must_r_0586_0008__have_r_0586_0009__been that there must have been r_0586_0003__was_r_0586_0004__thinking->r_0586_0005__that_r_0586_0006__there_r_0586_0007__must_r_0586_0008__have_r_0586_0009__been [arg1] r_0586_0010__a_r_0586_0011__time a time r_0586_0005__that_r_0586_0006__there_r_0586_0007__must_r_0586_0008__have_r_0586_0009__been->r_0586_0010__a_r_0586_0011__time [arg0] r_0586_0015__was was r_0586_0015__was->r_0586_0010__a_r_0586_0011__time [nim] r_0586_0013__this_r_0586_0014__planet this planet r_0586_0015__was->r_0586_0013__this_r_0586_0014__planet [arg0] r_0586_0017__different different r_0586_0015__was->r_0586_0017__different [prd] r_0586_0016__quite quite r_0586_0017__different->r_0586_0016__quite [qual] r_0586_0020__there_r_0586_0021__was there was r_0586_0020__there_r_0586_0021__was->r_0586_0010__a_r_0586_0011__time [nim] r_0586_0022__life life r_0586_0020__there_r_0586_0021__was->r_0586_0022__life [arg0] r_0586_0024__it it r_0586_0020__there_r_0586_0021__was->r_0586_0024__it on [clr] 
fof(formula,axiom,
    ? [R_586_3_WAS_THINKING,R_586_2_I,R_586_5_THAT_THERE_MUST_HAVE_BEEN,R_586_15_WAS,R_586_13_THIS_PLANET,R_586_17_DIFFERENT,R_586_16_QUITE,R_586_20_THERE_WAS,R_586_22_LIFE,R_586_10_A_TIME,R_586_24_IT] :
      ( i(R_586_2_I)
      & this_planet(R_586_13_THIS_PLANET)
      & quite(R_586_16_QUITE)
      & life(R_586_22_LIFE)
      & a_time(R_586_10_A_TIME)
      & it(R_586_24_IT)
      & was_thinking(R_586_3_WAS_THINKING,R_586_2_I,R_586_5_THAT_THERE_MUST_HAVE_BEEN)
      & that_there_must_have_been(R_586_5_THAT_THERE_MUST_HAVE_BEEN,R_586_10_A_TIME)
      & was(R_586_15_WAS,R_586_13_THIS_PLANET,R_586_17_DIFFERENT)
      & different(R_586_17_DIFFERENT)
      & qual43(R_586_17_DIFFERENT,R_586_16_QUITE)
      & nim32(R_586_15_WAS,R_586_10_A_TIME)
      & there_was(R_586_20_THERE_WAS,R_586_22_LIFE)
      & nim51(R_586_20_THERE_WAS,R_586_10_A_TIME)
      & on_clr64(R_586_20_THERE_WAS,R_586_24_IT) ) ).


n586_a_dick_1952 n586_a_dick_1952_3 <ldquo> n586_a_dick_1952_6 I n586_a_dick_1952_8 was n586_a_dick_1952_11 thinking n586_a_dick_1952_15 that n586_a_dick_1952_17 there n586_a_dick_1952_19 must n586_a_dick_1952_22 have n586_a_dick_1952_25 been n586_a_dick_1952_28 a n586_a_dick_1952_30 time n586_a_dick_1952_34 when n586_a_dick_1952_37 this n586_a_dick_1952_39 planet n586_a_dick_1952_41 was n586_a_dick_1952_45 quite n586_a_dick_1952_47 different n586_a_dick_1952_49 , n586_a_dick_1952_53 when n586_a_dick_1952_55 there n586_a_dick_1952_57 was n586_a_dick_1952_60 life n586_a_dick_1952_63 on n586_a_dick_1952_66 it n586_a_dick_1952_68 . n586_a_dick_1952_70 <rdquo> n586_a_dick_1952_1 IP-MAT n586_a_dick_1952_2 PULQ n586_a_dick_1952_1->n586_a_dick_1952_2 n586_a_dick_1952_4 NP-SBJ n586_a_dick_1952_1->n586_a_dick_1952_4 n586_a_dick_1952_7 BED;_cat_Vg_ n586_a_dick_1952_1->n586_a_dick_1952_7 n586_a_dick_1952_9 IP-PPL-CAT n586_a_dick_1952_1->n586_a_dick_1952_9 n586_a_dick_1952_67 PUNC n586_a_dick_1952_1->n586_a_dick_1952_67 n586_a_dick_1952_69 PURQ n586_a_dick_1952_1->n586_a_dick_1952_69 n586_a_dick_1952_2->n586_a_dick_1952_3 n586_a_dick_1952_5 PRO n586_a_dick_1952_4->n586_a_dick_1952_5 n586_a_dick_1952_5->n586_a_dick_1952_6 n586_a_dick_1952_7->n586_a_dick_1952_8 n586_a_dick_1952_10 VAG;_Tf_ n586_a_dick_1952_9->n586_a_dick_1952_10 n586_a_dick_1952_12 CP-THT-OB1 n586_a_dick_1952_9->n586_a_dick_1952_12 n586_a_dick_1952_10->n586_a_dick_1952_11 n586_a_dick_1952_13 IP-SUB n586_a_dick_1952_12->n586_a_dick_1952_13 n586_a_dick_1952_14 C n586_a_dick_1952_13->n586_a_dick_1952_14 n586_a_dick_1952_16 EX n586_a_dick_1952_13->n586_a_dick_1952_16 n586_a_dick_1952_18 MD;_cat_Vi_ n586_a_dick_1952_13->n586_a_dick_1952_18 n586_a_dick_1952_20 IP-INF-CAT n586_a_dick_1952_13->n586_a_dick_1952_20 n586_a_dick_1952_14->n586_a_dick_1952_15 n586_a_dick_1952_16->n586_a_dick_1952_17 n586_a_dick_1952_18->n586_a_dick_1952_19 n586_a_dick_1952_21 HV;_cat_Ve_ n586_a_dick_1952_20->n586_a_dick_1952_21 n586_a_dick_1952_23 IP-PPL-CAT n586_a_dick_1952_20->n586_a_dick_1952_23 n586_a_dick_1952_21->n586_a_dick_1952_22 n586_a_dick_1952_24 BEN;_ex_V_ n586_a_dick_1952_23->n586_a_dick_1952_24 n586_a_dick_1952_26 NP-ESBJ n586_a_dick_1952_23->n586_a_dick_1952_26 n586_a_dick_1952_24->n586_a_dick_1952_25 n586_a_dick_1952_27 D n586_a_dick_1952_26->n586_a_dick_1952_27 n586_a_dick_1952_29 N n586_a_dick_1952_26->n586_a_dick_1952_29 n586_a_dick_1952_31 IP-REL n586_a_dick_1952_26->n586_a_dick_1952_31 n586_a_dick_1952_48 PUNC n586_a_dick_1952_26->n586_a_dick_1952_48 n586_a_dick_1952_50 IP-REL n586_a_dick_1952_26->n586_a_dick_1952_50 n586_a_dick_1952_27->n586_a_dick_1952_28 n586_a_dick_1952_29->n586_a_dick_1952_30 n586_a_dick_1952_32 ADVP-NIM n586_a_dick_1952_31->n586_a_dick_1952_32 n586_a_dick_1952_35 NP-SBJ n586_a_dick_1952_31->n586_a_dick_1952_35 n586_a_dick_1952_40 BED;_La_ n586_a_dick_1952_31->n586_a_dick_1952_40 n586_a_dick_1952_42 ADJP-PRD n586_a_dick_1952_31->n586_a_dick_1952_42 n586_a_dick_1952_33 RADV n586_a_dick_1952_32->n586_a_dick_1952_33 n586_a_dick_1952_33->n586_a_dick_1952_34 n586_a_dick_1952_36 D n586_a_dick_1952_35->n586_a_dick_1952_36 n586_a_dick_1952_38 N n586_a_dick_1952_35->n586_a_dick_1952_38 n586_a_dick_1952_36->n586_a_dick_1952_37 n586_a_dick_1952_38->n586_a_dick_1952_39 n586_a_dick_1952_40->n586_a_dick_1952_41 n586_a_dick_1952_43 ADVP n586_a_dick_1952_42->n586_a_dick_1952_43 n586_a_dick_1952_46 ADJ n586_a_dick_1952_42->n586_a_dick_1952_46 n586_a_dick_1952_44 ADV n586_a_dick_1952_43->n586_a_dick_1952_44 n586_a_dick_1952_44->n586_a_dick_1952_45 n586_a_dick_1952_46->n586_a_dick_1952_47 n586_a_dick_1952_48->n586_a_dick_1952_49 n586_a_dick_1952_51 ADVP-NIM n586_a_dick_1952_50->n586_a_dick_1952_51 n586_a_dick_1952_54 EX n586_a_dick_1952_50->n586_a_dick_1952_54 n586_a_dick_1952_56 BED;_ex_Vpr_ n586_a_dick_1952_50->n586_a_dick_1952_56 n586_a_dick_1952_58 NP-ESBJ n586_a_dick_1952_50->n586_a_dick_1952_58 n586_a_dick_1952_61 PP-CLR n586_a_dick_1952_50->n586_a_dick_1952_61 n586_a_dick_1952_52 RADV n586_a_dick_1952_51->n586_a_dick_1952_52 n586_a_dick_1952_52->n586_a_dick_1952_53 n586_a_dick_1952_54->n586_a_dick_1952_55 n586_a_dick_1952_56->n586_a_dick_1952_57 n586_a_dick_1952_59 N n586_a_dick_1952_58->n586_a_dick_1952_59 n586_a_dick_1952_59->n586_a_dick_1952_60 n586_a_dick_1952_62 P-ROLE n586_a_dick_1952_61->n586_a_dick_1952_62 n586_a_dick_1952_64 NP n586_a_dick_1952_61->n586_a_dick_1952_64 n586_a_dick_1952_62->n586_a_dick_1952_63 n586_a_dick_1952_65 PRO n586_a_dick_1952_64->n586_a_dick_1952_65 n586_a_dick_1952_65->n586_a_dick_1952_66 n586_a_dick_1952_67->n586_a_dick_1952_68 n586_a_dick_1952_69->n586_a_dick_1952_70 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{NASHA} (PRO I;{I}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (VAG;_Tf_ thinking;{think})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (EX there;{there})
                                          (MD;_cat_Vi_ must;{must})
                                          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                                      (IP-PPL-CAT (BEN;_ex_V_ been;{be})
                                                                  (NP-ESBJ (D a;{a})
                                                                           (N time;{time})
                                                                           (IP-REL (ADVP-NIM (RADV when;{when}))
                                                                                   (NP-SBJ;{PLANET} (D this;{this})
                                                                                                    (N planet;{planet}))
                                                                                   (BED;_La_ was;{be})
                                                                                   (ADJP-PRD (ADVP (ADV quite;{quite}))
                                                                                             (ADJ different;{different})))
                                                                           (PUNC ,)
                                                                           (IP-REL (ADVP-NIM (RADV when;{when}))
                                                                                   (EX there;{there})
                                                                                   (BED;_ex_Vpr_ was;{be[on]})
                                                                                   (NP-ESBJ (N life;{life}))
                                                                                   (PP-CLR (P-ROLE on;{on})
                                                                                           (NP;{PLANET} (PRO it;{it}))))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 586_a_dick_1952))