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.”
( (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))
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_0007__must,arg1).
arc(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,nim).
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,qual).
arc(r_0586_0021__was_r_0586_0023__on,r_0586_0010__a_r_0586_0011__time,nim).
arc(r_0586_0021__was_r_0586_0023__on,r_0586_0013__this_r_0586_0014__planet,arg1).
arc(r_0586_0021__was_r_0586_0023__on,r_0586_0022__life,arg0).
fof(formula,axiom,
? [R_0586_0002__I,R_0586_0010__A_R_0586_0011__TIME,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_0021__WAS_R_0586_0023__ON] :
( 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_0021__was_r_0586_0023__on(R_0586_0021__WAS_R_0586_0023__ON)
& has_arg0(R_0586_0021__WAS_R_0586_0023__ON,R_0586_0022__LIFE)
& has_arg1(R_0586_0021__WAS_R_0586_0023__ON,R_0586_0013__THIS_R_0586_0014__PLANET)
& has_nim(R_0586_0021__WAS_R_0586_0023__ON,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_qual(R_0586_0017__DIFFERENT,R_0586_0016__QUITE)
& has_arg0(R_0586_0015__WAS,R_0586_0013__THIS_R_0586_0014__PLANET)
& has_nim(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_0007__MUST_R_0586_0008__HAVE_R_0586_0009__BEEN)
& r_0586_0007__must_r_0586_0008__have_r_0586_0009__been(R_0586_0007__MUST_R_0586_0008__HAVE_R_0586_0009__BEEN)
& has_arg0(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) ) ).