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_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) ) ).
( (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))