10_a_voyager
It is likely to survive a billion years into our future, when our civilization is profoundly altered and the surface of the Earth may be vastly changed.
n10_a_voyager
n10_a_voyager__1_1_1_1
It
n10_a_voyager__1_2_1
is
n10_a_voyager__1_3_1_1
likely
n10_a_voyager__1_3_2_1_1
to
n10_a_voyager__1_3_2_2_1
survive
n10_a_voyager__1_3_2_3_1_1
a
n10_a_voyager__1_3_2_3_2_1
billion
n10_a_voyager__1_3_2_3_3_1
years
n10_a_voyager__1_3_2_3_4_1_1
into
n10_a_voyager__1_3_2_3_4_2_1_1_1
our
n10_a_voyager__1_3_2_3_4_2_2_1
future
n10_a_voyager__1_3_2_3_5_1
,
n10_a_voyager__1_3_2_3_6_1_1_1
when
n10_a_voyager__1_3_2_3_6_2_1_1_1_1_1
our
n10_a_voyager__1_3_2_3_6_2_1_1_2_1
civilization
n10_a_voyager__1_3_2_3_6_2_1_2_1
is
n10_a_voyager__1_3_2_3_6_2_1_3_1_1
*ICH*-136
n10_a_voyager__1_3_2_3_6_2_1_3_2_1
*
n10_a_voyager__1_3_2_3_6_2_1_3_3_1_1
profoundly
n10_a_voyager__1_3_2_3_6_2_1_3_4_1
altered
n10_a_voyager__1_3_2_3_6_2_2_1_1
and
n10_a_voyager__1_3_2_3_6_2_2_2_1_1_1
the
n10_a_voyager__1_3_2_3_6_2_2_2_1_2_1
surface
n10_a_voyager__1_3_2_3_6_2_2_2_1_3_1_1
of
n10_a_voyager__1_3_2_3_6_2_2_2_1_3_2_1_1
the
n10_a_voyager__1_3_2_3_6_2_2_2_1_3_2_2_1
Earth
n10_a_voyager__1_3_2_3_6_2_2_2_2_1
may
n10_a_voyager__1_3_2_3_6_2_2_2_3_1_1
be
n10_a_voyager__1_3_2_3_6_2_2_2_3_2_1_1
*ICH*-136
n10_a_voyager__1_3_2_3_6_2_2_2_3_2_2_1
*
n10_a_voyager__1_3_2_3_6_2_2_2_3_2_3_1_1
vastly
n10_a_voyager__1_3_2_3_6_2_2_2_3_2_4_1
changed
n10_a_voyager__1_4_1
.
n10_a_voyager__1
IP-MAT
n10_a_voyager__1_1
NP-SBJ
n10_a_voyager__1->n10_a_voyager__1_1
n10_a_voyager__1_2
BEP;_La_
n10_a_voyager__1->n10_a_voyager__1_2
n10_a_voyager__1_3
ADJP-PRD
n10_a_voyager__1->n10_a_voyager__1_3
n10_a_voyager__1_4
PUNC
n10_a_voyager__1->n10_a_voyager__1_4
n10_a_voyager__1_1_1
PRO
n10_a_voyager__1_1->n10_a_voyager__1_1_1
n10_a_voyager__1_1_1->n10_a_voyager__1_1_1_1
n10_a_voyager__1_2->n10_a_voyager__1_2_1
n10_a_voyager__1_3_1
ADJ;_cat_
n10_a_voyager__1_3->n10_a_voyager__1_3_1
n10_a_voyager__1_3_2
IP-INF
n10_a_voyager__1_3->n10_a_voyager__1_3_2
n10_a_voyager__1_3_1->n10_a_voyager__1_3_1_1
n10_a_voyager__1_3_2_1
TO
n10_a_voyager__1_3_2->n10_a_voyager__1_3_2_1
n10_a_voyager__1_3_2_2
VB;_In/pr_
n10_a_voyager__1_3_2->n10_a_voyager__1_3_2_2
n10_a_voyager__1_3_2_3
NP-CLR
n10_a_voyager__1_3_2->n10_a_voyager__1_3_2_3
n10_a_voyager__1_3_2_1->n10_a_voyager__1_3_2_1_1
n10_a_voyager__1_3_2_2->n10_a_voyager__1_3_2_2_1
n10_a_voyager__1_3_2_3_1
D
n10_a_voyager__1_3_2_3->n10_a_voyager__1_3_2_3_1
n10_a_voyager__1_3_2_3_2
N
n10_a_voyager__1_3_2_3->n10_a_voyager__1_3_2_3_2
n10_a_voyager__1_3_2_3_3
NS
n10_a_voyager__1_3_2_3->n10_a_voyager__1_3_2_3_3
n10_a_voyager__1_3_2_3_4
PP
n10_a_voyager__1_3_2_3->n10_a_voyager__1_3_2_3_4
n10_a_voyager__1_3_2_3_5
PUNC
n10_a_voyager__1_3_2_3->n10_a_voyager__1_3_2_3_5
n10_a_voyager__1_3_2_3_6
IP-REL
n10_a_voyager__1_3_2_3->n10_a_voyager__1_3_2_3_6
n10_a_voyager__1_3_2_3_1->n10_a_voyager__1_3_2_3_1_1
n10_a_voyager__1_3_2_3_2->n10_a_voyager__1_3_2_3_2_1
n10_a_voyager__1_3_2_3_3->n10_a_voyager__1_3_2_3_3_1
n10_a_voyager__1_3_2_3_4_1
P-ROLE
n10_a_voyager__1_3_2_3_4->n10_a_voyager__1_3_2_3_4_1
n10_a_voyager__1_3_2_3_4_2
NP
n10_a_voyager__1_3_2_3_4->n10_a_voyager__1_3_2_3_4_2
n10_a_voyager__1_3_2_3_4_1->n10_a_voyager__1_3_2_3_4_1_1
n10_a_voyager__1_3_2_3_4_2_1
NP-GEN
n10_a_voyager__1_3_2_3_4_2->n10_a_voyager__1_3_2_3_4_2_1
n10_a_voyager__1_3_2_3_4_2_2
N
n10_a_voyager__1_3_2_3_4_2->n10_a_voyager__1_3_2_3_4_2_2
n10_a_voyager__1_3_2_3_4_2_1_1
PRO;_genm_
n10_a_voyager__1_3_2_3_4_2_1->n10_a_voyager__1_3_2_3_4_2_1_1
n10_a_voyager__1_3_2_3_4_2_1_1->n10_a_voyager__1_3_2_3_4_2_1_1_1
n10_a_voyager__1_3_2_3_4_2_2->n10_a_voyager__1_3_2_3_4_2_2_1
n10_a_voyager__1_3_2_3_5->n10_a_voyager__1_3_2_3_5_1
n10_a_voyager__1_3_2_3_6_1
ADVP-136
n10_a_voyager__1_3_2_3_6->n10_a_voyager__1_3_2_3_6_1
n10_a_voyager__1_3_2_3_6_2
ILYR
n10_a_voyager__1_3_2_3_6->n10_a_voyager__1_3_2_3_6_2
n10_a_voyager__1_3_2_3_6_1_1
RADV
n10_a_voyager__1_3_2_3_6_1->n10_a_voyager__1_3_2_3_6_1_1
n10_a_voyager__1_3_2_3_6_1_1->n10_a_voyager__1_3_2_3_6_1_1_1
n10_a_voyager__1_3_2_3_6_2_1
ILYR
n10_a_voyager__1_3_2_3_6_2->n10_a_voyager__1_3_2_3_6_2_1
n10_a_voyager__1_3_2_3_6_2_2
CONJP
n10_a_voyager__1_3_2_3_6_2->n10_a_voyager__1_3_2_3_6_2_2
n10_a_voyager__1_3_2_3_6_2_1_1
NP-SBJ
n10_a_voyager__1_3_2_3_6_2_1->n10_a_voyager__1_3_2_3_6_2_1_1
n10_a_voyager__1_3_2_3_6_2_1_2
BEP;_cat_VePASS_
n10_a_voyager__1_3_2_3_6_2_1->n10_a_voyager__1_3_2_3_6_2_1_2
n10_a_voyager__1_3_2_3_6_2_1_3
IP-PPL-CAT
n10_a_voyager__1_3_2_3_6_2_1->n10_a_voyager__1_3_2_3_6_2_1_3
n10_a_voyager__1_3_2_3_6_2_1_1_1
NP-GEN
n10_a_voyager__1_3_2_3_6_2_1_1->n10_a_voyager__1_3_2_3_6_2_1_1_1
n10_a_voyager__1_3_2_3_6_2_1_1_2
N
n10_a_voyager__1_3_2_3_6_2_1_1->n10_a_voyager__1_3_2_3_6_2_1_1_2
n10_a_voyager__1_3_2_3_6_2_1_1_1_1
PRO;_genm_
n10_a_voyager__1_3_2_3_6_2_1_1_1->n10_a_voyager__1_3_2_3_6_2_1_1_1_1
n10_a_voyager__1_3_2_3_6_2_1_1_1_1->n10_a_voyager__1_3_2_3_6_2_1_1_1_1_1
n10_a_voyager__1_3_2_3_6_2_1_1_2->n10_a_voyager__1_3_2_3_6_2_1_1_2_1
n10_a_voyager__1_3_2_3_6_2_1_2->n10_a_voyager__1_3_2_3_6_2_1_2_1
n10_a_voyager__1_3_2_3_6_2_1_3_1
ADVP-NIM
n10_a_voyager__1_3_2_3_6_2_1_3->n10_a_voyager__1_3_2_3_6_2_1_3_1
n10_a_voyager__1_3_2_3_6_2_1_3_2
NP-LGS
n10_a_voyager__1_3_2_3_6_2_1_3->n10_a_voyager__1_3_2_3_6_2_1_3_2
n10_a_voyager__1_3_2_3_6_2_1_3_3
ADVP-NIM
n10_a_voyager__1_3_2_3_6_2_1_3->n10_a_voyager__1_3_2_3_6_2_1_3_3
n10_a_voyager__1_3_2_3_6_2_1_3_4
VVN;_Tn_
n10_a_voyager__1_3_2_3_6_2_1_3->n10_a_voyager__1_3_2_3_6_2_1_3_4
n10_a_voyager__1_3_2_3_6_2_1_3_1->n10_a_voyager__1_3_2_3_6_2_1_3_1_1
n10_a_voyager__1_3_2_3_6_2_1_3_2->n10_a_voyager__1_3_2_3_6_2_1_3_2_1
n10_a_voyager__1_3_2_3_6_2_1_3_3_1
ADV
n10_a_voyager__1_3_2_3_6_2_1_3_3->n10_a_voyager__1_3_2_3_6_2_1_3_3_1
n10_a_voyager__1_3_2_3_6_2_1_3_3_1->n10_a_voyager__1_3_2_3_6_2_1_3_3_1_1
n10_a_voyager__1_3_2_3_6_2_1_3_4->n10_a_voyager__1_3_2_3_6_2_1_3_4_1
n10_a_voyager__1_3_2_3_6_2_2_1
CONJ
n10_a_voyager__1_3_2_3_6_2_2->n10_a_voyager__1_3_2_3_6_2_2_1
n10_a_voyager__1_3_2_3_6_2_2_2
ILYR
n10_a_voyager__1_3_2_3_6_2_2->n10_a_voyager__1_3_2_3_6_2_2_2
n10_a_voyager__1_3_2_3_6_2_2_1->n10_a_voyager__1_3_2_3_6_2_2_1_1
n10_a_voyager__1_3_2_3_6_2_2_2_1
NP-SBJ
n10_a_voyager__1_3_2_3_6_2_2_2->n10_a_voyager__1_3_2_3_6_2_2_2_1
n10_a_voyager__1_3_2_3_6_2_2_2_2
MD;_cat_Vi_
n10_a_voyager__1_3_2_3_6_2_2_2->n10_a_voyager__1_3_2_3_6_2_2_2_2
n10_a_voyager__1_3_2_3_6_2_2_2_3
IP-INF-CAT
n10_a_voyager__1_3_2_3_6_2_2_2->n10_a_voyager__1_3_2_3_6_2_2_2_3
n10_a_voyager__1_3_2_3_6_2_2_2_1_1
D
n10_a_voyager__1_3_2_3_6_2_2_2_1->n10_a_voyager__1_3_2_3_6_2_2_2_1_1
n10_a_voyager__1_3_2_3_6_2_2_2_1_2
N
n10_a_voyager__1_3_2_3_6_2_2_2_1->n10_a_voyager__1_3_2_3_6_2_2_2_1_2
n10_a_voyager__1_3_2_3_6_2_2_2_1_3
PP
n10_a_voyager__1_3_2_3_6_2_2_2_1->n10_a_voyager__1_3_2_3_6_2_2_2_1_3
n10_a_voyager__1_3_2_3_6_2_2_2_1_1->n10_a_voyager__1_3_2_3_6_2_2_2_1_1_1
n10_a_voyager__1_3_2_3_6_2_2_2_1_2->n10_a_voyager__1_3_2_3_6_2_2_2_1_2_1
n10_a_voyager__1_3_2_3_6_2_2_2_1_3_1
P-ROLE
n10_a_voyager__1_3_2_3_6_2_2_2_1_3->n10_a_voyager__1_3_2_3_6_2_2_2_1_3_1
n10_a_voyager__1_3_2_3_6_2_2_2_1_3_2
NP
n10_a_voyager__1_3_2_3_6_2_2_2_1_3->n10_a_voyager__1_3_2_3_6_2_2_2_1_3_2
n10_a_voyager__1_3_2_3_6_2_2_2_1_3_1->n10_a_voyager__1_3_2_3_6_2_2_2_1_3_1_1
n10_a_voyager__1_3_2_3_6_2_2_2_1_3_2_1
D
n10_a_voyager__1_3_2_3_6_2_2_2_1_3_2->n10_a_voyager__1_3_2_3_6_2_2_2_1_3_2_1
n10_a_voyager__1_3_2_3_6_2_2_2_1_3_2_2
N
n10_a_voyager__1_3_2_3_6_2_2_2_1_3_2->n10_a_voyager__1_3_2_3_6_2_2_2_1_3_2_2
n10_a_voyager__1_3_2_3_6_2_2_2_1_3_2_1->n10_a_voyager__1_3_2_3_6_2_2_2_1_3_2_1_1
n10_a_voyager__1_3_2_3_6_2_2_2_1_3_2_2->n10_a_voyager__1_3_2_3_6_2_2_2_1_3_2_2_1
n10_a_voyager__1_3_2_3_6_2_2_2_2->n10_a_voyager__1_3_2_3_6_2_2_2_2_1
n10_a_voyager__1_3_2_3_6_2_2_2_3_1
BE;_cat_VePASS_
n10_a_voyager__1_3_2_3_6_2_2_2_3->n10_a_voyager__1_3_2_3_6_2_2_2_3_1
n10_a_voyager__1_3_2_3_6_2_2_2_3_2
IP-PPL-CAT
n10_a_voyager__1_3_2_3_6_2_2_2_3->n10_a_voyager__1_3_2_3_6_2_2_2_3_2
n10_a_voyager__1_3_2_3_6_2_2_2_3_1->n10_a_voyager__1_3_2_3_6_2_2_2_3_1_1
n10_a_voyager__1_3_2_3_6_2_2_2_3_2_1
ADVP-NIM
n10_a_voyager__1_3_2_3_6_2_2_2_3_2->n10_a_voyager__1_3_2_3_6_2_2_2_3_2_1
n10_a_voyager__1_3_2_3_6_2_2_2_3_2_2
NP-LGS
n10_a_voyager__1_3_2_3_6_2_2_2_3_2->n10_a_voyager__1_3_2_3_6_2_2_2_3_2_2
n10_a_voyager__1_3_2_3_6_2_2_2_3_2_3
ADVP-NIM
n10_a_voyager__1_3_2_3_6_2_2_2_3_2->n10_a_voyager__1_3_2_3_6_2_2_2_3_2_3
n10_a_voyager__1_3_2_3_6_2_2_2_3_2_4
VVN;_Tn_
n10_a_voyager__1_3_2_3_6_2_2_2_3_2->n10_a_voyager__1_3_2_3_6_2_2_2_3_2_4
n10_a_voyager__1_3_2_3_6_2_2_2_3_2_1->n10_a_voyager__1_3_2_3_6_2_2_2_3_2_1_1
n10_a_voyager__1_3_2_3_6_2_2_2_3_2_2->n10_a_voyager__1_3_2_3_6_2_2_2_3_2_2_1
n10_a_voyager__1_3_2_3_6_2_2_2_3_2_3_1
ADV
n10_a_voyager__1_3_2_3_6_2_2_2_3_2_3->n10_a_voyager__1_3_2_3_6_2_2_2_3_2_3_1
n10_a_voyager__1_3_2_3_6_2_2_2_3_2_3_1->n10_a_voyager__1_3_2_3_6_2_2_2_3_2_3_1_1
n10_a_voyager__1_3_2_3_6_2_2_2_3_2_4->n10_a_voyager__1_3_2_3_6_2_2_2_3_2_4_1
n10_a_voyager__1_4->n10_a_voyager__1_4_1
( (IP-MAT (NP-SBJ;{MESSAGE} (PRO It;{it}))
(BEP;_La_ is;{be})
(ADJP-PRD (ADJ;_cat_ likely;{likely})
(IP-INF (TO to;{to})
(VB;_In/pr_ survive;{survive})
(NP-CLR (D a;{a})
(N billion;{billion})
(NS years;{year})
(PP (P-ROLE into;{into})
(NP (NP-GEN;{HUMANS} (PRO;_genm_ our;{our}))
(N future;{future})))
(PUNC ,)
(IP-REL (ADVP-136 (RADV when;{when}))
(ILYR (ILYR (NP-SBJ (NP-GEN;{HUMANS} (PRO;_genm_ our;{our}))
(N civilization;{civilization}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (ADVP-NIM *ICH*-136)
(NP-LGS *)
(ADVP-NIM (ADV profoundly;{profoundly}))
(VVN;_Tn_ altered;{alter})))
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (D the;{the})
(N surface;{surface})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N Earth;{earth}))))
(MD;_cat_Vi_ may;{may})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (ADVP-NIM *ICH*-136)
(NP-LGS *)
(ADVP-NIM (ADV vastly;{vastly}))
(VVN;_Tn_ changed;{change}))))))))))
(PUNC .))
(ID 10_a_voyager))
%3
r_0010_0028__changed
changed
z_0010_5017___star_
*
r_0010_0028__changed->z_0010_5017___star_
[arg0]
r_0010_0027__vastly
vastly
r_0010_0028__changed->r_0010_0027__vastly
[nim]
r_0010_0020__the_r_0010_0021__surface
the surface
r_0010_0028__changed->r_0010_0020__the_r_0010_0021__surface
[arg1]
r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years
a billion years
r_0010_0028__changed->r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years
[nim]
r_0010_0023__the_r_0010_0024__Earth
the Earth
r_0010_0020__the_r_0010_0021__surface->r_0010_0023__the_r_0010_0024__Earth
of
r_0010_0011__future
future
r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years->r_0010_0011__future
into
r_0010_0026__be
be
r_0010_0026__be->r_0010_0028__changed
[scope]
r_0010_0025__may
may
r_0010_0025__may->r_0010_0026__be
[scope]
r_0010_0019__and
and
r_0010_0019__and->r_0010_0025__may
[conj2]
r_0010_0016__is
is
r_0010_0019__and->r_0010_0016__is
[conj1]
r_0010_0018__altered
altered
r_0010_0016__is->r_0010_0018__altered
[scope]
r_0010_0018__altered->r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years
[nim]
z_0010_5009___star_
*
r_0010_0018__altered->z_0010_5009___star_
[arg0]
r_0010_0017__profoundly
profoundly
r_0010_0018__altered->r_0010_0017__profoundly
[nim]
r_0010_0015__civilization
civilization
r_0010_0018__altered->r_0010_0015__civilization
[arg1]
r_0010_0010__our
our
r_0010_0015__civilization->r_0010_0010__our
[gen]
r_0010_0011__future->r_0010_0010__our
[gen]
r_0010_0005__survive
survive
r_0010_0005__survive->r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years
[clr]
r_0010_0001__It
It
r_0010_0005__survive->r_0010_0001__It
[arg0]
r_0010_0003__likely
likely
r_0010_0003__likely->r_0010_0005__survive
[scope]
r_0010_0002__is
is
r_0010_0002__is->r_0010_0003__likely
[scope]
arc(r_0010_0002__is,r_0010_0003__likely,scope).
arc(r_0010_0003__likely,r_0010_0005__survive,scope).
arc(r_0010_0005__survive,r_0010_0001__It,arg0).
arc(r_0010_0005__survive,r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years,clr).
arc(r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years,r_0010_0011__future,r_0010_0009__into).
arc(r_0010_0011__future,r_0010_0010__our,gen).
arc(r_0010_0015__civilization,r_0010_0010__our,gen).
arc(r_0010_0016__is,r_0010_0018__altered,scope).
arc(r_0010_0018__altered,r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years,nim).
arc(r_0010_0018__altered,r_0010_0015__civilization,arg1).
arc(r_0010_0018__altered,r_0010_0017__profoundly,nim).
arc(r_0010_0018__altered,z_0010_5009___star_,arg0).
arc(r_0010_0019__and,r_0010_0016__is,conj1).
arc(r_0010_0019__and,r_0010_0025__may,conj2).
arc(r_0010_0020__the_r_0010_0021__surface,r_0010_0023__the_r_0010_0024__Earth,r_0010_0022__of).
arc(r_0010_0025__may,r_0010_0026__be,scope).
arc(r_0010_0026__be,r_0010_0028__changed,scope).
arc(r_0010_0028__changed,r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years,nim).
arc(r_0010_0028__changed,r_0010_0020__the_r_0010_0021__surface,arg1).
arc(r_0010_0028__changed,r_0010_0027__vastly,nim).
arc(r_0010_0028__changed,z_0010_5017___star_,arg0).
%3
r_0010_0002__is_r_0010_0003__likely_r_0010_0005__survive
is likely survive
r_0010_0001__It
It
r_0010_0002__is_r_0010_0003__likely_r_0010_0005__survive->r_0010_0001__It
[arg0]
r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years
a billion years
r_0010_0002__is_r_0010_0003__likely_r_0010_0005__survive->r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years
[clr]
r_0010_0011__future
future
r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years->r_0010_0011__future
into
r_0010_0010__our
our
r_0010_0011__future->r_0010_0010__our
[gen]
r_0010_0015__civilization
civilization
r_0010_0015__civilization->r_0010_0010__our
[gen]
r_0010_0016__is_r_0010_0018__altered
is altered
r_0010_0016__is_r_0010_0018__altered->r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years
[nim]
r_0010_0016__is_r_0010_0018__altered->r_0010_0015__civilization
[arg1]
r_0010_0017__profoundly
profoundly
r_0010_0016__is_r_0010_0018__altered->r_0010_0017__profoundly
[nim]
z_0010_5009___star_
*
r_0010_0016__is_r_0010_0018__altered->z_0010_5009___star_
[arg0]
r_0010_0019__and
and
r_0010_0019__and->r_0010_0016__is_r_0010_0018__altered
[conj1]
r_0010_0025__may_r_0010_0026__be_r_0010_0028__changed
may be changed
r_0010_0019__and->r_0010_0025__may_r_0010_0026__be_r_0010_0028__changed
[conj2]
r_0010_0025__may_r_0010_0026__be_r_0010_0028__changed->r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years
[nim]
r_0010_0020__the_r_0010_0021__surface
the surface
r_0010_0025__may_r_0010_0026__be_r_0010_0028__changed->r_0010_0020__the_r_0010_0021__surface
[arg1]
r_0010_0027__vastly
vastly
r_0010_0025__may_r_0010_0026__be_r_0010_0028__changed->r_0010_0027__vastly
[nim]
z_0010_5017___star_
*
r_0010_0025__may_r_0010_0026__be_r_0010_0028__changed->z_0010_5017___star_
[arg0]
r_0010_0023__the_r_0010_0024__Earth
the Earth
r_0010_0020__the_r_0010_0021__surface->r_0010_0023__the_r_0010_0024__Earth
of
fof(formula,axiom,
? [R_0010_0001__IT,R_0010_0010__OUR,R_0010_0011__FUTURE,R_0010_0006__A_R_0010_0007__BILLION_R_0010_0008__YEARS,R_0010_0002__IS_R_0010_0003__LIKELY_R_0010_0005__SURVIVE,R_0010_0015__CIVILIZATION,R_0010_0017__PROFOUNDLY,Z_0010_5009___STAR_,R_0010_0016__IS_R_0010_0018__ALTERED,R_0010_0023__THE_R_0010_0024__EARTH,R_0010_0020__THE_R_0010_0021__SURFACE,R_0010_0027__VASTLY,Z_0010_5017___STAR_,R_0010_0025__MAY_R_0010_0026__BE_R_0010_0028__CHANGED,R_0010_0019__AND] :
( r_0010_0001__It(R_0010_0001__IT)
& r_0010_0010__our(R_0010_0010__OUR)
& r_0010_0017__profoundly(R_0010_0017__PROFOUNDLY)
& r_0010_0023__the_r_0010_0024__Earth(R_0010_0023__THE_R_0010_0024__EARTH)
& r_0010_0027__vastly(R_0010_0027__VASTLY)
& z_0010_5009___star_(Z_0010_5009___STAR_)
& z_0010_5017___star_(Z_0010_5017___STAR_)
& r_0010_0019__and(R_0010_0019__AND)
& has_conj2(R_0010_0019__AND,R_0010_0025__MAY_R_0010_0026__BE_R_0010_0028__CHANGED)
& r_0010_0025__may_r_0010_0026__be_r_0010_0028__changed(R_0010_0025__MAY_R_0010_0026__BE_R_0010_0028__CHANGED)
& has_arg0(R_0010_0025__MAY_R_0010_0026__BE_R_0010_0028__CHANGED,Z_0010_5017___STAR_)
& has_nim(R_0010_0025__MAY_R_0010_0026__BE_R_0010_0028__CHANGED,R_0010_0027__VASTLY)
& has_arg1(R_0010_0025__MAY_R_0010_0026__BE_R_0010_0028__CHANGED,R_0010_0020__THE_R_0010_0021__SURFACE)
& r_0010_0020__the_r_0010_0021__surface(R_0010_0020__THE_R_0010_0021__SURFACE)
& has_r_0010_0022__of(R_0010_0020__THE_R_0010_0021__SURFACE,R_0010_0023__THE_R_0010_0024__EARTH)
& has_nim(R_0010_0025__MAY_R_0010_0026__BE_R_0010_0028__CHANGED,R_0010_0006__A_R_0010_0007__BILLION_R_0010_0008__YEARS)
& r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years(R_0010_0006__A_R_0010_0007__BILLION_R_0010_0008__YEARS)
& has_r_0010_0009__into(R_0010_0006__A_R_0010_0007__BILLION_R_0010_0008__YEARS,R_0010_0011__FUTURE)
& r_0010_0011__future(R_0010_0011__FUTURE)
& has_gen(R_0010_0011__FUTURE,R_0010_0010__OUR)
& has_conj1(R_0010_0019__AND,R_0010_0016__IS_R_0010_0018__ALTERED)
& r_0010_0016__is_r_0010_0018__altered(R_0010_0016__IS_R_0010_0018__ALTERED)
& has_arg0(R_0010_0016__IS_R_0010_0018__ALTERED,Z_0010_5009___STAR_)
& has_nim(R_0010_0016__IS_R_0010_0018__ALTERED,R_0010_0017__PROFOUNDLY)
& has_arg1(R_0010_0016__IS_R_0010_0018__ALTERED,R_0010_0015__CIVILIZATION)
& r_0010_0015__civilization(R_0010_0015__CIVILIZATION)
& has_gen(R_0010_0015__CIVILIZATION,R_0010_0010__OUR)
& has_nim(R_0010_0016__IS_R_0010_0018__ALTERED,R_0010_0006__A_R_0010_0007__BILLION_R_0010_0008__YEARS)
& r_0010_0002__is_r_0010_0003__likely_r_0010_0005__survive(R_0010_0002__IS_R_0010_0003__LIKELY_R_0010_0005__SURVIVE)
& has_clr(R_0010_0002__IS_R_0010_0003__LIKELY_R_0010_0005__SURVIVE,R_0010_0006__A_R_0010_0007__BILLION_R_0010_0008__YEARS)
& has_arg0(R_0010_0002__IS_R_0010_0003__LIKELY_R_0010_0005__SURVIVE,R_0010_0001__IT) ) ).