588_a_dick_1952
It's unfortunate that no ships from our system came this far, but then we had no reason to suspect intelligent life until we saw the fission glow in the sky.”
n588_a_dick_1952
n588_a_dick_1952__1_1_1_1_1_1
It
n588_a_dick_1952__1_1_1_2_1
's
n588_a_dick_1952__1_1_1_3_1_1
unfortunate
n588_a_dick_1952__1_1_1_4_1_1_1
that
n588_a_dick_1952__1_1_1_4_1_2_1_1
no
n588_a_dick_1952__1_1_1_4_1_2_2_1
ships
n588_a_dick_1952__1_1_1_4_1_2_3_1_1
from
n588_a_dick_1952__1_1_1_4_1_2_3_2_1_1_1
our
n588_a_dick_1952__1_1_1_4_1_2_3_2_2_1
system
n588_a_dick_1952__1_1_1_4_1_3_1
came
n588_a_dick_1952__1_1_1_4_1_4_1_1
this
n588_a_dick_1952__1_1_1_4_1_4_2_1_1
far
n588_a_dick_1952__1_1_2_1
,
n588_a_dick_1952__1_1_3_1_1
but
n588_a_dick_1952__1_1_3_2_1_1_1
then
n588_a_dick_1952__1_1_3_2_2_1_1
we
n588_a_dick_1952__1_1_3_2_3_1
had
n588_a_dick_1952__1_1_3_2_4_1_1
no
n588_a_dick_1952__1_1_3_2_4_2_1
reason
n588_a_dick_1952__1_1_3_2_4_3_1_1
to
n588_a_dick_1952__1_1_3_2_4_3_2_1
suspect
n588_a_dick_1952__1_1_3_2_4_3_3_1_1_1
intelligent
n588_a_dick_1952__1_1_3_2_4_3_3_2_1
life
n588_a_dick_1952__1_1_3_2_5_1_1
until
n588_a_dick_1952__1_1_3_2_5_2_1_1_1
we
n588_a_dick_1952__1_1_3_2_5_2_2_1
saw
n588_a_dick_1952__1_1_3_2_5_2_3_1_1
the
n588_a_dick_1952__1_1_3_2_5_2_3_2_1
fission
n588_a_dick_1952__1_1_3_2_5_2_4_1_1
glow
n588_a_dick_1952__1_1_3_2_5_2_4_2_1_1
in
n588_a_dick_1952__1_1_3_2_5_2_4_2_2_1_1
the
n588_a_dick_1952__1_1_3_2_5_2_4_2_2_2_1
sky
n588_a_dick_1952__1_2_1
.
n588_a_dick_1952__1_3_1
<rdquo>
n588_a_dick_1952__1
IP-MAT
n588_a_dick_1952__1_1
ILYR
n588_a_dick_1952__1->n588_a_dick_1952__1_1
n588_a_dick_1952__1_2
PUNC
n588_a_dick_1952__1->n588_a_dick_1952__1_2
n588_a_dick_1952__1_3
PURQ
n588_a_dick_1952__1->n588_a_dick_1952__1_3
n588_a_dick_1952__1_1_1
ILYR
n588_a_dick_1952__1_1->n588_a_dick_1952__1_1_1
n588_a_dick_1952__1_1_2
PUNC
n588_a_dick_1952__1_1->n588_a_dick_1952__1_1_2
n588_a_dick_1952__1_1_3
CONJP
n588_a_dick_1952__1_1->n588_a_dick_1952__1_1_3
n588_a_dick_1952__1_1_1_1
NP-SBJ
n588_a_dick_1952__1_1_1->n588_a_dick_1952__1_1_1_1
n588_a_dick_1952__1_1_1_2
BEP;_La_
n588_a_dick_1952__1_1_1->n588_a_dick_1952__1_1_1_2
n588_a_dick_1952__1_1_1_3
ADJP-PRD
n588_a_dick_1952__1_1_1->n588_a_dick_1952__1_1_1_3
n588_a_dick_1952__1_1_1_4
CP-THT-NSBJ
n588_a_dick_1952__1_1_1->n588_a_dick_1952__1_1_1_4
n588_a_dick_1952__1_1_1_1_1
PRO;_provisional_
n588_a_dick_1952__1_1_1_1->n588_a_dick_1952__1_1_1_1_1
n588_a_dick_1952__1_1_1_1_1->n588_a_dick_1952__1_1_1_1_1_1
n588_a_dick_1952__1_1_1_2->n588_a_dick_1952__1_1_1_2_1
n588_a_dick_1952__1_1_1_3_1
ADJ
n588_a_dick_1952__1_1_1_3->n588_a_dick_1952__1_1_1_3_1
n588_a_dick_1952__1_1_1_3_1->n588_a_dick_1952__1_1_1_3_1_1
n588_a_dick_1952__1_1_1_4_1
IP-SUB
n588_a_dick_1952__1_1_1_4->n588_a_dick_1952__1_1_1_4_1
n588_a_dick_1952__1_1_1_4_1_1
C
n588_a_dick_1952__1_1_1_4_1->n588_a_dick_1952__1_1_1_4_1_1
n588_a_dick_1952__1_1_1_4_1_2
NP-SBJ
n588_a_dick_1952__1_1_1_4_1->n588_a_dick_1952__1_1_1_4_1_2
n588_a_dick_1952__1_1_1_4_1_3
VBD;_I_
n588_a_dick_1952__1_1_1_4_1->n588_a_dick_1952__1_1_1_4_1_3
n588_a_dick_1952__1_1_1_4_1_4
NP-NIM
n588_a_dick_1952__1_1_1_4_1->n588_a_dick_1952__1_1_1_4_1_4
n588_a_dick_1952__1_1_1_4_1_1->n588_a_dick_1952__1_1_1_4_1_1_1
n588_a_dick_1952__1_1_1_4_1_2_1
Q
n588_a_dick_1952__1_1_1_4_1_2->n588_a_dick_1952__1_1_1_4_1_2_1
n588_a_dick_1952__1_1_1_4_1_2_2
NS
n588_a_dick_1952__1_1_1_4_1_2->n588_a_dick_1952__1_1_1_4_1_2_2
n588_a_dick_1952__1_1_1_4_1_2_3
PP
n588_a_dick_1952__1_1_1_4_1_2->n588_a_dick_1952__1_1_1_4_1_2_3
n588_a_dick_1952__1_1_1_4_1_2_1->n588_a_dick_1952__1_1_1_4_1_2_1_1
n588_a_dick_1952__1_1_1_4_1_2_2->n588_a_dick_1952__1_1_1_4_1_2_2_1
n588_a_dick_1952__1_1_1_4_1_2_3_1
P-ROLE
n588_a_dick_1952__1_1_1_4_1_2_3->n588_a_dick_1952__1_1_1_4_1_2_3_1
n588_a_dick_1952__1_1_1_4_1_2_3_2
NP
n588_a_dick_1952__1_1_1_4_1_2_3->n588_a_dick_1952__1_1_1_4_1_2_3_2
n588_a_dick_1952__1_1_1_4_1_2_3_1->n588_a_dick_1952__1_1_1_4_1_2_3_1_1
n588_a_dick_1952__1_1_1_4_1_2_3_2_1
NP-GEN
n588_a_dick_1952__1_1_1_4_1_2_3_2->n588_a_dick_1952__1_1_1_4_1_2_3_2_1
n588_a_dick_1952__1_1_1_4_1_2_3_2_2
N
n588_a_dick_1952__1_1_1_4_1_2_3_2->n588_a_dick_1952__1_1_1_4_1_2_3_2_2
n588_a_dick_1952__1_1_1_4_1_2_3_2_1_1
PRO;_genm_
n588_a_dick_1952__1_1_1_4_1_2_3_2_1->n588_a_dick_1952__1_1_1_4_1_2_3_2_1_1
n588_a_dick_1952__1_1_1_4_1_2_3_2_1_1->n588_a_dick_1952__1_1_1_4_1_2_3_2_1_1_1
n588_a_dick_1952__1_1_1_4_1_2_3_2_2->n588_a_dick_1952__1_1_1_4_1_2_3_2_2_1
n588_a_dick_1952__1_1_1_4_1_3->n588_a_dick_1952__1_1_1_4_1_3_1
n588_a_dick_1952__1_1_1_4_1_4_1
D;_nphd_
n588_a_dick_1952__1_1_1_4_1_4->n588_a_dick_1952__1_1_1_4_1_4_1
n588_a_dick_1952__1_1_1_4_1_4_2
ADJP
n588_a_dick_1952__1_1_1_4_1_4->n588_a_dick_1952__1_1_1_4_1_4_2
n588_a_dick_1952__1_1_1_4_1_4_1->n588_a_dick_1952__1_1_1_4_1_4_1_1
n588_a_dick_1952__1_1_1_4_1_4_2_1
ADJ
n588_a_dick_1952__1_1_1_4_1_4_2->n588_a_dick_1952__1_1_1_4_1_4_2_1
n588_a_dick_1952__1_1_1_4_1_4_2_1->n588_a_dick_1952__1_1_1_4_1_4_2_1_1
n588_a_dick_1952__1_1_2->n588_a_dick_1952__1_1_2_1
n588_a_dick_1952__1_1_3_1
CONJ
n588_a_dick_1952__1_1_3->n588_a_dick_1952__1_1_3_1
n588_a_dick_1952__1_1_3_2
ILYR
n588_a_dick_1952__1_1_3->n588_a_dick_1952__1_1_3_2
n588_a_dick_1952__1_1_3_1->n588_a_dick_1952__1_1_3_1_1
n588_a_dick_1952__1_1_3_2_1
ADVP-NIM
n588_a_dick_1952__1_1_3_2->n588_a_dick_1952__1_1_3_2_1
n588_a_dick_1952__1_1_3_2_2
NP-SBJ
n588_a_dick_1952__1_1_3_2->n588_a_dick_1952__1_1_3_2_2
n588_a_dick_1952__1_1_3_2_3
HVD;_Tn_
n588_a_dick_1952__1_1_3_2->n588_a_dick_1952__1_1_3_2_3
n588_a_dick_1952__1_1_3_2_4
NP-OB1
n588_a_dick_1952__1_1_3_2->n588_a_dick_1952__1_1_3_2_4
n588_a_dick_1952__1_1_3_2_5
PP-SCON
n588_a_dick_1952__1_1_3_2->n588_a_dick_1952__1_1_3_2_5
n588_a_dick_1952__1_1_3_2_1_1
ADV
n588_a_dick_1952__1_1_3_2_1->n588_a_dick_1952__1_1_3_2_1_1
n588_a_dick_1952__1_1_3_2_1_1->n588_a_dick_1952__1_1_3_2_1_1_1
n588_a_dick_1952__1_1_3_2_2_1
PRO
n588_a_dick_1952__1_1_3_2_2->n588_a_dick_1952__1_1_3_2_2_1
n588_a_dick_1952__1_1_3_2_2_1->n588_a_dick_1952__1_1_3_2_2_1_1
n588_a_dick_1952__1_1_3_2_3->n588_a_dick_1952__1_1_3_2_3_1
n588_a_dick_1952__1_1_3_2_4_1
Q
n588_a_dick_1952__1_1_3_2_4->n588_a_dick_1952__1_1_3_2_4_1
n588_a_dick_1952__1_1_3_2_4_2
N
n588_a_dick_1952__1_1_3_2_4->n588_a_dick_1952__1_1_3_2_4_2
n588_a_dick_1952__1_1_3_2_4_3
IP-INF
n588_a_dick_1952__1_1_3_2_4->n588_a_dick_1952__1_1_3_2_4_3
n588_a_dick_1952__1_1_3_2_4_1->n588_a_dick_1952__1_1_3_2_4_1_1
n588_a_dick_1952__1_1_3_2_4_2->n588_a_dick_1952__1_1_3_2_4_2_1
n588_a_dick_1952__1_1_3_2_4_3_1
TO
n588_a_dick_1952__1_1_3_2_4_3->n588_a_dick_1952__1_1_3_2_4_3_1
n588_a_dick_1952__1_1_3_2_4_3_2
VB;_Tn_
n588_a_dick_1952__1_1_3_2_4_3->n588_a_dick_1952__1_1_3_2_4_3_2
n588_a_dick_1952__1_1_3_2_4_3_3
NP-OB1
n588_a_dick_1952__1_1_3_2_4_3->n588_a_dick_1952__1_1_3_2_4_3_3
n588_a_dick_1952__1_1_3_2_4_3_1->n588_a_dick_1952__1_1_3_2_4_3_1_1
n588_a_dick_1952__1_1_3_2_4_3_2->n588_a_dick_1952__1_1_3_2_4_3_2_1
n588_a_dick_1952__1_1_3_2_4_3_3_1
ADJP
n588_a_dick_1952__1_1_3_2_4_3_3->n588_a_dick_1952__1_1_3_2_4_3_3_1
n588_a_dick_1952__1_1_3_2_4_3_3_2
N
n588_a_dick_1952__1_1_3_2_4_3_3->n588_a_dick_1952__1_1_3_2_4_3_3_2
n588_a_dick_1952__1_1_3_2_4_3_3_1_1
ADJ
n588_a_dick_1952__1_1_3_2_4_3_3_1->n588_a_dick_1952__1_1_3_2_4_3_3_1_1
n588_a_dick_1952__1_1_3_2_4_3_3_1_1->n588_a_dick_1952__1_1_3_2_4_3_3_1_1_1
n588_a_dick_1952__1_1_3_2_4_3_3_2->n588_a_dick_1952__1_1_3_2_4_3_3_2_1
n588_a_dick_1952__1_1_3_2_5_1
P-CONN
n588_a_dick_1952__1_1_3_2_5->n588_a_dick_1952__1_1_3_2_5_1
n588_a_dick_1952__1_1_3_2_5_2
IP-ADV
n588_a_dick_1952__1_1_3_2_5->n588_a_dick_1952__1_1_3_2_5_2
n588_a_dick_1952__1_1_3_2_5_1->n588_a_dick_1952__1_1_3_2_5_1_1
n588_a_dick_1952__1_1_3_2_5_2_1
NP-SBJ
n588_a_dick_1952__1_1_3_2_5_2->n588_a_dick_1952__1_1_3_2_5_2_1
n588_a_dick_1952__1_1_3_2_5_2_2
VBD;_Tni_
n588_a_dick_1952__1_1_3_2_5_2->n588_a_dick_1952__1_1_3_2_5_2_2
n588_a_dick_1952__1_1_3_2_5_2_3
NP-DOB1
n588_a_dick_1952__1_1_3_2_5_2->n588_a_dick_1952__1_1_3_2_5_2_3
n588_a_dick_1952__1_1_3_2_5_2_4
IP-INF-OB1
n588_a_dick_1952__1_1_3_2_5_2->n588_a_dick_1952__1_1_3_2_5_2_4
n588_a_dick_1952__1_1_3_2_5_2_1_1
PRO
n588_a_dick_1952__1_1_3_2_5_2_1->n588_a_dick_1952__1_1_3_2_5_2_1_1
n588_a_dick_1952__1_1_3_2_5_2_1_1->n588_a_dick_1952__1_1_3_2_5_2_1_1_1
n588_a_dick_1952__1_1_3_2_5_2_2->n588_a_dick_1952__1_1_3_2_5_2_2_1
n588_a_dick_1952__1_1_3_2_5_2_3_1
D
n588_a_dick_1952__1_1_3_2_5_2_3->n588_a_dick_1952__1_1_3_2_5_2_3_1
n588_a_dick_1952__1_1_3_2_5_2_3_2
N
n588_a_dick_1952__1_1_3_2_5_2_3->n588_a_dick_1952__1_1_3_2_5_2_3_2
n588_a_dick_1952__1_1_3_2_5_2_3_1->n588_a_dick_1952__1_1_3_2_5_2_3_1_1
n588_a_dick_1952__1_1_3_2_5_2_3_2->n588_a_dick_1952__1_1_3_2_5_2_3_2_1
n588_a_dick_1952__1_1_3_2_5_2_4_1
VB;_I_
n588_a_dick_1952__1_1_3_2_5_2_4->n588_a_dick_1952__1_1_3_2_5_2_4_1
n588_a_dick_1952__1_1_3_2_5_2_4_2
PP-NIM
n588_a_dick_1952__1_1_3_2_5_2_4->n588_a_dick_1952__1_1_3_2_5_2_4_2
n588_a_dick_1952__1_1_3_2_5_2_4_1->n588_a_dick_1952__1_1_3_2_5_2_4_1_1
n588_a_dick_1952__1_1_3_2_5_2_4_2_1
P-ROLE
n588_a_dick_1952__1_1_3_2_5_2_4_2->n588_a_dick_1952__1_1_3_2_5_2_4_2_1
n588_a_dick_1952__1_1_3_2_5_2_4_2_2
NP
n588_a_dick_1952__1_1_3_2_5_2_4_2->n588_a_dick_1952__1_1_3_2_5_2_4_2_2
n588_a_dick_1952__1_1_3_2_5_2_4_2_1->n588_a_dick_1952__1_1_3_2_5_2_4_2_1_1
n588_a_dick_1952__1_1_3_2_5_2_4_2_2_1
D
n588_a_dick_1952__1_1_3_2_5_2_4_2_2->n588_a_dick_1952__1_1_3_2_5_2_4_2_2_1
n588_a_dick_1952__1_1_3_2_5_2_4_2_2_2
N
n588_a_dick_1952__1_1_3_2_5_2_4_2_2->n588_a_dick_1952__1_1_3_2_5_2_4_2_2_2
n588_a_dick_1952__1_1_3_2_5_2_4_2_2_1->n588_a_dick_1952__1_1_3_2_5_2_4_2_2_1_1
n588_a_dick_1952__1_1_3_2_5_2_4_2_2_2->n588_a_dick_1952__1_1_3_2_5_2_4_2_2_2_1
n588_a_dick_1952__1_2->n588_a_dick_1952__1_2_1
n588_a_dick_1952__1_3->n588_a_dick_1952__1_3_1
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO;_provisional_ It;{it}))
(BEP;_La_ <apos>s;{be})
(ADJP-PRD (ADJ unfortunate;{unfortunate}))
(CP-THT-NSBJ (IP-SUB (C that;{that})
(NP-SBJ (Q no;{no})
(NS ships;{ship})
(PP (P-ROLE from;{from})
(NP (NP-GEN;{TRESPASSERS} (PRO;_genm_ our;{our}))
(N system;{system}))))
(VBD;_I_ came;{come})
(NP-NIM (D;_nphd_ this;{this})
(ADJP (ADJ far;{far}))))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (ADVP-NIM (ADV then;{then}))
(NP-SBJ;{TRESPASSERS} (PRO we;{we}))
(HVD;_Tn_ had;{have})
(NP-OB1 (Q no;{no})
(N reason;{reason})
(IP-INF (TO to;{to})
(VB;_Tn_ suspect;{suspect})
(NP-OB1 (ADJP (ADJ intelligent;{intelligent}))
(N life;{life}))))
(PP-SCON (P-CONN until;{until})
(IP-ADV (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
(VBD;_Tni_ saw;{see})
(NP-DOB1 (D the;{the})
(N fission;{fission}))
(IP-INF-OB1 (VB;_I_ glow;{glow})
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(N sky;{sky})))))))))
(PUNC .)
(PURQ <rdquo>))
(ID 588_a_dick_1952))
%3
r_0588_0029__glow
glow
r_0588_0031__the_r_0588_0032__sky
the sky
r_0588_0029__glow->r_0588_0031__the_r_0588_0032__sky
in [nim]
r_0588_0027__the_r_0588_0028__fission
the fission
r_0588_0029__glow->r_0588_0027__the_r_0588_0028__fission
[arg0]
r_0588_0026__saw
saw
r_0588_0026__saw->r_0588_0029__glow
[arg1]
r_0588_0008__our
our
r_0588_0026__saw->r_0588_0008__our
[arg0]
r_0588_0024__until
until
r_0588_0024__until->r_0588_0026__saw
[restriction]
r_0588_0017__had
had
r_0588_0024__until->r_0588_0017__had
[scope]
r_0588_0017__had->r_0588_0008__our
[arg0]
r_0588_0019__reason
reason
r_0588_0017__had->r_0588_0019__reason
[arg1]
r_0588_0015__then
then
r_0588_0017__had->r_0588_0015__then
[nim]
r_0588_0023__life
life
r_0588_0022__intelligent
intelligent
r_0588_0023__life->r_0588_0022__intelligent
[attrib]
r_0588_0021__suspect
suspect
r_0588_0021__suspect->r_0588_0023__life
[arg1]
z_0588_5016
r_0588_0021__suspect->z_0588_5016
[arg0]
r_0588_0019__reason->r_0588_0021__suspect
[emb]
r_0588_0018__no__quant
no [quant]
r_0588_0018__no__quant->r_0588_0024__until
[scope]
r_0588_0018__no__quant->r_0588_0019__reason
[restriction]
r_0588_0014__but
but
r_0588_0014__but->r_0588_0018__no__quant
[conj2]
r_0588_0002___apos_s
's
r_0588_0014__but->r_0588_0002___apos_s
[conj1]
r_0588_0005__no__quant
no [quant]
r_0588_0002___apos_s->r_0588_0005__no__quant
[arg0]
r_0588_0003__unfortunate
unfortunate
r_0588_0002___apos_s->r_0588_0003__unfortunate
[prd]
r_0588_0011__this
this
r_0588_0012__far
far
r_0588_0011__this->r_0588_0012__far
[attrib]
r_0588_0010__came
came
r_0588_0010__came->r_0588_0011__this
[nim]
r_0588_0006__ships
ships
r_0588_0010__came->r_0588_0006__ships
[arg0]
r_0588_0009__system
system
r_0588_0006__ships->r_0588_0009__system
from
r_0588_0009__system->r_0588_0008__our
[gen]
r_0588_0005__no__quant->r_0588_0010__came
[scope]
r_0588_0005__no__quant->r_0588_0006__ships
[restriction]
arc(r_0588_0002___apos_s,r_0588_0003__unfortunate,prd).
arc(r_0588_0002___apos_s,r_0588_0005__no__quant,arg0).
arc(r_0588_0005__no__quant,r_0588_0006__ships,restriction).
arc(r_0588_0005__no__quant,r_0588_0010__came,scope).
arc(r_0588_0006__ships,r_0588_0009__system,r_0588_0007__from).
arc(r_0588_0009__system,r_0588_0008__our,gen).
arc(r_0588_0010__came,r_0588_0006__ships,arg0).
arc(r_0588_0010__came,r_0588_0011__this,nim).
arc(r_0588_0011__this,r_0588_0012__far,attrib).
arc(r_0588_0014__but,r_0588_0002___apos_s,conj1).
arc(r_0588_0014__but,r_0588_0018__no__quant,conj2).
arc(r_0588_0017__had,r_0588_0008__our,arg0).
arc(r_0588_0017__had,r_0588_0015__then,nim).
arc(r_0588_0017__had,r_0588_0019__reason,arg1).
arc(r_0588_0018__no__quant,r_0588_0019__reason,restriction).
arc(r_0588_0018__no__quant,r_0588_0024__until,scope).
arc(r_0588_0019__reason,r_0588_0021__suspect,emb).
arc(r_0588_0021__suspect,r_0588_0023__life,arg1).
arc(r_0588_0021__suspect,z_0588_5016,arg0).
arc(r_0588_0023__life,r_0588_0022__intelligent,attrib).
arc(r_0588_0024__until,r_0588_0017__had,scope).
arc(r_0588_0024__until,r_0588_0026__saw,restriction).
arc(r_0588_0026__saw,r_0588_0008__our,arg0).
arc(r_0588_0026__saw,r_0588_0029__glow,arg1).
arc(r_0588_0029__glow,r_0588_0027__the_r_0588_0028__fission,arg0).
arc(r_0588_0029__glow,r_0588_0031__the_r_0588_0032__sky,r_0588_0030__in__nim).
%3
r_0588_0002___apos_s
's
r_0588_0003__unfortunate
unfortunate
r_0588_0002___apos_s->r_0588_0003__unfortunate
[prd]
r_0588_0005__no__quant
no [quant]
r_0588_0002___apos_s->r_0588_0005__no__quant
[arg0]
r_0588_0006__ships
ships
r_0588_0005__no__quant->r_0588_0006__ships
[restriction]
r_0588_0010__came
came
r_0588_0005__no__quant->r_0588_0010__came
[scope]
r_0588_0009__system
system
r_0588_0006__ships->r_0588_0009__system
from
r_0588_0010__came->r_0588_0006__ships
[arg0]
r_0588_0011__this
this
r_0588_0010__came->r_0588_0011__this
[nim]
r_0588_0008__our
our
r_0588_0009__system->r_0588_0008__our
[gen]
r_0588_0012__far
far
r_0588_0011__this->r_0588_0012__far
[attrib]
r_0588_0014__but
but
r_0588_0014__but->r_0588_0002___apos_s
[conj1]
r_0588_0018__no__quant
no [quant]
r_0588_0014__but->r_0588_0018__no__quant
[conj2]
r_0588_0019__reason
reason
r_0588_0018__no__quant->r_0588_0019__reason
[restriction]
r_0588_0024__until
until
r_0588_0018__no__quant->r_0588_0024__until
[scope]
r_0588_0017__had
had
r_0588_0017__had->r_0588_0008__our
[arg0]
r_0588_0015__then
then
r_0588_0017__had->r_0588_0015__then
[nim]
r_0588_0017__had->r_0588_0019__reason
[arg1]
r_0588_0021__suspect
suspect
r_0588_0019__reason->r_0588_0021__suspect
[emb]
r_0588_0024__until->r_0588_0017__had
[conj2]
r_0588_0026__saw
saw
r_0588_0024__until->r_0588_0026__saw
[conj1]
r_0588_0023__life
life
r_0588_0021__suspect->r_0588_0023__life
[arg1]
z_0588_5016
r_0588_0021__suspect->z_0588_5016
[arg0]
r_0588_0022__intelligent
intelligent
r_0588_0023__life->r_0588_0022__intelligent
[attrib]
r_0588_0026__saw->r_0588_0008__our
[arg0]
r_0588_0029__glow
glow
r_0588_0026__saw->r_0588_0029__glow
[arg1]
r_0588_0027__the_r_0588_0028__fission
the fission
r_0588_0029__glow->r_0588_0027__the_r_0588_0028__fission
[arg0]
r_0588_0031__the_r_0588_0032__sky
the sky
r_0588_0029__glow->r_0588_0031__the_r_0588_0032__sky
in [nim]
fof(formula,axiom,
? [R_0588_0003__UNFORTUNATE,R_0588_0002___APOS_S,R_0588_0014__BUT] :
( r_0588_0003__unfortunate(R_0588_0003__UNFORTUNATE)
& r_0588_0014__but(R_0588_0014__BUT)
& ! [R_0588_0019__REASON,R_0588_0022__INTELLIGENT,R_0588_0023__LIFE,Z_0588_5016,R_0588_0021__SUSPECT] :
( ( r_0588_0022__intelligent(R_0588_0022__INTELLIGENT)
& z_0588_5016(Z_0588_5016)
& r_0588_0019__reason(R_0588_0019__REASON)
& has_emb(R_0588_0019__REASON,R_0588_0021__SUSPECT)
& r_0588_0021__suspect(R_0588_0021__SUSPECT)
& has_arg0(R_0588_0021__SUSPECT,Z_0588_5016)
& has_arg1(R_0588_0021__SUSPECT,R_0588_0023__LIFE)
& r_0588_0023__life(R_0588_0023__LIFE)
& has_attrib(R_0588_0023__LIFE,R_0588_0022__INTELLIGENT) )
=> ? [R_0588_0008__OUR,R_0588_0015__THEN,R_0588_0017__HAD,R_0588_0027__THE_R_0588_0028__FISSION,R_0588_0031__THE_R_0588_0032__SKY,R_0588_0029__GLOW,R_0588_0026__SAW,R_0588_0024__UNTIL] :
( r_0588_0008__our(R_0588_0008__OUR)
& r_0588_0015__then(R_0588_0015__THEN)
& r_0588_0027__the_r_0588_0028__fission(R_0588_0027__THE_R_0588_0028__FISSION)
& r_0588_0031__the_r_0588_0032__sky(R_0588_0031__THE_R_0588_0032__SKY)
& r_0588_0024__until(R_0588_0024__UNTIL)
& has_conj1(R_0588_0024__UNTIL,R_0588_0026__SAW)
& r_0588_0026__saw(R_0588_0026__SAW)
& has_arg1(R_0588_0026__SAW,R_0588_0029__GLOW)
& r_0588_0029__glow(R_0588_0029__GLOW)
& has_r_0588_0030__in__nim(R_0588_0029__GLOW,R_0588_0031__THE_R_0588_0032__SKY)
& has_arg0(R_0588_0029__GLOW,R_0588_0027__THE_R_0588_0028__FISSION)
& has_arg0(R_0588_0026__SAW,R_0588_0008__OUR)
& has_conj2(R_0588_0024__UNTIL,R_0588_0017__HAD)
& r_0588_0017__had(R_0588_0017__HAD)
& has_arg1(R_0588_0017__HAD,R_0588_0019__REASON)
& has_nim(R_0588_0017__HAD,R_0588_0015__THEN)
& has_arg0(R_0588_0017__HAD,R_0588_0008__OUR) ) )
& has_conj1(R_0588_0014__BUT,R_0588_0002___APOS_S)
& r_0588_0002___apos_s(R_0588_0002___APOS_S)
& ! [R_0588_0006__SHIPS,R_0588_0008__OUR,R_0588_0009__SYSTEM] :
( ( r_0588_0008__our(R_0588_0008__OUR)
& r_0588_0006__ships(R_0588_0006__SHIPS)
& has_r_0588_0007__from(R_0588_0006__SHIPS,R_0588_0009__SYSTEM)
& r_0588_0009__system(R_0588_0009__SYSTEM)
& has_gen(R_0588_0009__SYSTEM,R_0588_0008__OUR) )
=> ? [R_0588_0012__FAR,R_0588_0011__THIS,R_0588_0010__CAME] :
( r_0588_0012__far(R_0588_0012__FAR)
& r_0588_0010__came(R_0588_0010__CAME)
& has_nim(R_0588_0010__CAME,R_0588_0011__THIS)
& r_0588_0011__this(R_0588_0011__THIS)
& has_attrib(R_0588_0011__THIS,R_0588_0012__FAR)
& has_arg0(R_0588_0010__CAME,R_0588_0006__SHIPS) ) )
& has_prd(R_0588_0002___APOS_S,R_0588_0003__UNFORTUNATE) ) ).