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