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.”
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).
fof(formula,axiom,
? [R_0586_0002__I,R_0586_0010__A_R_0586_0011__TIME,R_0586_0005__THAT_R_0586_0006__THERE_R_0586_0007__MUST_R_0586_0008__HAVE_R_0586_0009__BEEN,R_0586_0003__WAS_R_0586_0004__THINKING,R_0586_0013__THIS_R_0586_0014__PLANET,R_0586_0016__QUITE,R_0586_0017__DIFFERENT,R_0586_0015__WAS,R_0586_0022__LIFE,R_0586_0024__IT,R_0586_0020__THERE_R_0586_0021__WAS] :
( r_0586_0002__I(R_0586_0002__I)
& r_0586_0010__a_r_0586_0011__time(R_0586_0010__A_R_0586_0011__TIME)
& r_0586_0013__this_r_0586_0014__planet(R_0586_0013__THIS_R_0586_0014__PLANET)
& r_0586_0016__quite(R_0586_0016__QUITE)
& r_0586_0022__life(R_0586_0022__LIFE)
& r_0586_0024__it(R_0586_0024__IT)
& r_0586_0020__there_r_0586_0021__was(R_0586_0020__THERE_R_0586_0021__WAS)
& has_r_0586_0023__on_clr64(R_0586_0020__THERE_R_0586_0021__WAS,R_0586_0024__IT)
& has_arg0(R_0586_0020__THERE_R_0586_0021__WAS,R_0586_0022__LIFE)
& has_nim51(R_0586_0020__THERE_R_0586_0021__WAS,R_0586_0010__A_R_0586_0011__TIME)
& r_0586_0015__was(R_0586_0015__WAS)
& has_prd(R_0586_0015__WAS,R_0586_0017__DIFFERENT)
& r_0586_0017__different(R_0586_0017__DIFFERENT)
& has_qual43(R_0586_0017__DIFFERENT,R_0586_0016__QUITE)
& has_arg0(R_0586_0015__WAS,R_0586_0013__THIS_R_0586_0014__PLANET)
& has_nim32(R_0586_0015__WAS,R_0586_0010__A_R_0586_0011__TIME)
& r_0586_0003__was_r_0586_0004__thinking(R_0586_0003__WAS_R_0586_0004__THINKING)
& has_arg1(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)
& r_0586_0005__that_r_0586_0006__there_r_0586_0007__must_r_0586_0008__have_r_0586_0009__been(R_0586_0005__THAT_R_0586_0006__THERE_R_0586_0007__MUST_R_0586_0008__HAVE_R_0586_0009__BEEN)
& has_arg0(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)
& has_arg0(R_0586_0003__WAS_R_0586_0004__THINKING,R_0586_0002__I) ) ).
( (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))