Context                Previous, Next                Top


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.

%3 r_0010_0002__is is r_0010_0001__It It r_0010_0002__is->r_0010_0001__It [arg0] r_0010_0003__likely likely r_0010_0002__is->r_0010_0003__likely [prd] r_0010_0004__to_r_0010_0005__survive to survive r_0010_0003__likely->r_0010_0004__to_r_0010_0005__survive [emb] r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years a billion years r_0010_0004__to_r_0010_0005__survive->r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years [clr] z_000_10_a_voyager_10 r_0010_0004__to_r_0010_0005__survive->z_000_10_a_voyager_10 [arg0] 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_0014__our our r_0010_0015__civilization->r_0010_0014__our [gen] r_0010_0016__is is 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] r_0010_0018__altered->r_0010_0015__civilization [arg1] r_0010_0017__profoundly profoundly r_0010_0018__altered->r_0010_0017__profoundly [nim] z_000_10_a_voyager_50 r_0010_0018__altered->z_000_10_a_voyager_50 [arg0] r_0010_0019__and and r_0010_0019__and->r_0010_0016__is [conj1] r_0010_0025__may may r_0010_0019__and->r_0010_0025__may [conj2] r_0010_0026__be be r_0010_0025__may->r_0010_0026__be [scope] r_0010_0020__the_r_0010_0021__surface the surface 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_0028__changed changed r_0010_0026__be->r_0010_0028__changed [scope] r_0010_0028__changed->r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years [nim] r_0010_0028__changed->r_0010_0020__the_r_0010_0021__surface [arg1] r_0010_0027__vastly vastly r_0010_0028__changed->r_0010_0027__vastly [nim] z_000_10_a_voyager_82 r_0010_0028__changed->z_000_10_a_voyager_82 [arg0] 
arc(r_0010_0002__is, r_0010_0001__It, arg0).
arc(r_0010_0002__is, r_0010_0003__likely, prd).
arc(r_0010_0003__likely, r_0010_0004__to_r_0010_0005__survive, emb10).
arc(r_0010_0004__to_r_0010_0005__survive, r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years, clr15).
arc(r_0010_0004__to_r_0010_0005__survive, z_000_10_a_voyager_10, arg0).
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_0014__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, nim48).
arc(r_0010_0018__altered, r_0010_0015__civilization, arg1).
arc(r_0010_0018__altered, r_0010_0017__profoundly, nim52).
arc(r_0010_0018__altered, z_000_10_a_voyager_50, 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, nim80).
arc(r_0010_0028__changed, r_0010_0020__the_r_0010_0021__surface, arg1).
arc(r_0010_0028__changed, r_0010_0027__vastly, nim84).
arc(r_0010_0028__changed, z_000_10_a_voyager_82, arg0).


%3 r_0010_0002__is is r_0010_0001__It It r_0010_0002__is->r_0010_0001__It [arg0] r_0010_0003__likely likely r_0010_0002__is->r_0010_0003__likely [prd] r_0010_0004__to_r_0010_0005__survive to survive r_0010_0003__likely->r_0010_0004__to_r_0010_0005__survive [emb] r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years a billion years r_0010_0004__to_r_0010_0005__survive->r_0010_0006__a_r_0010_0007__billion_r_0010_0008__years [clr] z_000_10_a_voyager_10 r_0010_0004__to_r_0010_0005__survive->z_000_10_a_voyager_10 [arg0] 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_0014__our our r_0010_0015__civilization->r_0010_0014__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_000_10_a_voyager_50 r_0010_0016__is_r_0010_0018__altered->z_000_10_a_voyager_50 [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_000_10_a_voyager_82 r_0010_0025__may_r_0010_0026__be_r_0010_0028__changed->z_000_10_a_voyager_82 [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_10_2_IS,R_10_1_IT,R_10_3_LIKELY,R_10_4_TO_SURVIVE,Z_10_A_VOYAGER_10,R_10_19_AND,R_10_16_IS_ALTERED,Z_10_A_VOYAGER_50,R_10_15_CIVILIZATION,R_10_14_OUR,R_10_17_PROFOUNDLY,R_10_25_MAY_BE_CHANGED,Z_10_A_VOYAGER_82,R_10_20_THE_SURFACE,R_10_23_THE_EARTH,R_10_6_A_BILLION_YEARS,R_10_11_FUTURE,R_10_10_OUR,R_10_27_VASTLY] :
      ( it(R_10_1_IT)
      & our(R_10_14_OUR)
      & profoundly(R_10_17_PROFOUNDLY)
      & the_Earth(R_10_23_THE_EARTH)
      & our(R_10_10_OUR)
      & vastly(R_10_27_VASTLY)
      & is(R_10_2_IS,R_10_1_IT,R_10_3_LIKELY)
      & likely(R_10_3_LIKELY)
      & emb10(R_10_3_LIKELY,R_10_4_TO_SURVIVE)
      & to_survive(R_10_4_TO_SURVIVE,Z_10_A_VOYAGER_10)
      & clr15(R_10_4_TO_SURVIVE,R_10_6_A_BILLION_YEARS)
      & a_billion_years(R_10_6_A_BILLION_YEARS)
      & into(R_10_6_A_BILLION_YEARS,R_10_11_FUTURE)
      & future(R_10_11_FUTURE)
      & gen(R_10_11_FUTURE,R_10_10_OUR)
      & and(R_10_19_AND)
      & conj1(R_10_19_AND,R_10_16_IS_ALTERED)
      & is_altered(R_10_16_IS_ALTERED,Z_10_A_VOYAGER_50,R_10_15_CIVILIZATION)
      & civilization(R_10_15_CIVILIZATION)
      & gen(R_10_15_CIVILIZATION,R_10_14_OUR)
      & nim48(R_10_16_IS_ALTERED,R_10_6_A_BILLION_YEARS)
      & nim52(R_10_16_IS_ALTERED,R_10_17_PROFOUNDLY)
      & conj2(R_10_19_AND,R_10_25_MAY_BE_CHANGED)
      & may_be_changed(R_10_25_MAY_BE_CHANGED,Z_10_A_VOYAGER_82,R_10_20_THE_SURFACE)
      & the_surface(R_10_20_THE_SURFACE)
      & of(R_10_20_THE_SURFACE,R_10_23_THE_EARTH)
      & nim80(R_10_25_MAY_BE_CHANGED,R_10_6_A_BILLION_YEARS)
      & nim84(R_10_25_MAY_BE_CHANGED,R_10_27_VASTLY) ) ).


n10_a_voyager n10_a_voyager_4 It n10_a_voyager_6 is n10_a_voyager_9 likely n10_a_voyager_12 to n10_a_voyager_14 survive n10_a_voyager_17 a n10_a_voyager_19 billion n10_a_voyager_21 years n10_a_voyager_24 into n10_a_voyager_28 our n10_a_voyager_30 future n10_a_voyager_32 , n10_a_voyager_36 when n10_a_voyager_42 our n10_a_voyager_44 civilization n10_a_voyager_46 is n10_a_voyager_51 * n10_a_voyager_54 profoundly n10_a_voyager_56 altered n10_a_voyager_59 and n10_a_voyager_63 the n10_a_voyager_65 surface n10_a_voyager_68 of n10_a_voyager_71 the n10_a_voyager_73 Earth n10_a_voyager_75 may n10_a_voyager_78 be n10_a_voyager_83 * n10_a_voyager_86 vastly n10_a_voyager_88 changed n10_a_voyager_90 . n10_a_voyager_1 IP-MAT n10_a_voyager_2 NP-SBJ n10_a_voyager_1->n10_a_voyager_2 n10_a_voyager_5 BEP;_La_ n10_a_voyager_1->n10_a_voyager_5 n10_a_voyager_7 ADJP-PRD n10_a_voyager_1->n10_a_voyager_7 n10_a_voyager_89 PUNC n10_a_voyager_1->n10_a_voyager_89 n10_a_voyager_3 PRO n10_a_voyager_2->n10_a_voyager_3 n10_a_voyager_3->n10_a_voyager_4 n10_a_voyager_5->n10_a_voyager_6 n10_a_voyager_8 ADJ;_cat_ n10_a_voyager_7->n10_a_voyager_8 n10_a_voyager_10 IP-INF n10_a_voyager_7->n10_a_voyager_10 n10_a_voyager_8->n10_a_voyager_9 n10_a_voyager_11 TO n10_a_voyager_10->n10_a_voyager_11 n10_a_voyager_13 VB;_In/pr_ n10_a_voyager_10->n10_a_voyager_13 n10_a_voyager_15 NP-CLR n10_a_voyager_10->n10_a_voyager_15 n10_a_voyager_11->n10_a_voyager_12 n10_a_voyager_13->n10_a_voyager_14 n10_a_voyager_16 D n10_a_voyager_15->n10_a_voyager_16 n10_a_voyager_18 N n10_a_voyager_15->n10_a_voyager_18 n10_a_voyager_20 NS n10_a_voyager_15->n10_a_voyager_20 n10_a_voyager_22 PP n10_a_voyager_15->n10_a_voyager_22 n10_a_voyager_31 PUNC n10_a_voyager_15->n10_a_voyager_31 n10_a_voyager_33 IP-REL n10_a_voyager_15->n10_a_voyager_33 n10_a_voyager_16->n10_a_voyager_17 n10_a_voyager_18->n10_a_voyager_19 n10_a_voyager_20->n10_a_voyager_21 n10_a_voyager_23 P-ROLE n10_a_voyager_22->n10_a_voyager_23 n10_a_voyager_25 NP n10_a_voyager_22->n10_a_voyager_25 n10_a_voyager_23->n10_a_voyager_24 n10_a_voyager_26 NP-GEN n10_a_voyager_25->n10_a_voyager_26 n10_a_voyager_29 N n10_a_voyager_25->n10_a_voyager_29 n10_a_voyager_27 PRO;_genm_ n10_a_voyager_26->n10_a_voyager_27 n10_a_voyager_27->n10_a_voyager_28 n10_a_voyager_29->n10_a_voyager_30 n10_a_voyager_31->n10_a_voyager_32 n10_a_voyager_34 ADVP-136 n10_a_voyager_33->n10_a_voyager_34 n10_a_voyager_37 ILYR n10_a_voyager_33->n10_a_voyager_37 n10_a_voyager_35 RADV n10_a_voyager_34->n10_a_voyager_35 n10_a_voyager_35->n10_a_voyager_36 n10_a_voyager_38 ILYR n10_a_voyager_37->n10_a_voyager_38 n10_a_voyager_57 CONJP n10_a_voyager_37->n10_a_voyager_57 n10_a_voyager_39 NP-SBJ n10_a_voyager_38->n10_a_voyager_39 n10_a_voyager_45 BEP;_cat_VePASS_ n10_a_voyager_38->n10_a_voyager_45 n10_a_voyager_47 IP-PPL-CAT n10_a_voyager_38->n10_a_voyager_47 n10_a_voyager_40 NP-GEN n10_a_voyager_39->n10_a_voyager_40 n10_a_voyager_43 N n10_a_voyager_39->n10_a_voyager_43 n10_a_voyager_41 PRO;_genm_ n10_a_voyager_40->n10_a_voyager_41 n10_a_voyager_41->n10_a_voyager_42 n10_a_voyager_43->n10_a_voyager_44 n10_a_voyager_45->n10_a_voyager_46 n10_a_voyager_48 ADVP-NIM n10_a_voyager_47->n10_a_voyager_48 n10_a_voyager_50 NP-LGS n10_a_voyager_47->n10_a_voyager_50 n10_a_voyager_52 ADVP-NIM n10_a_voyager_47->n10_a_voyager_52 n10_a_voyager_55 VVN;_Tn_ n10_a_voyager_47->n10_a_voyager_55 n10_a_voyager_49 *ICH*-136 n10_a_voyager_48->n10_a_voyager_49 n10_a_voyager_50->n10_a_voyager_51 n10_a_voyager_53 ADV n10_a_voyager_52->n10_a_voyager_53 n10_a_voyager_53->n10_a_voyager_54 n10_a_voyager_55->n10_a_voyager_56 n10_a_voyager_58 CONJ n10_a_voyager_57->n10_a_voyager_58 n10_a_voyager_60 ILYR n10_a_voyager_57->n10_a_voyager_60 n10_a_voyager_58->n10_a_voyager_59 n10_a_voyager_61 NP-SBJ n10_a_voyager_60->n10_a_voyager_61 n10_a_voyager_74 MD;_cat_Vi_ n10_a_voyager_60->n10_a_voyager_74 n10_a_voyager_76 IP-INF-CAT n10_a_voyager_60->n10_a_voyager_76 n10_a_voyager_62 D n10_a_voyager_61->n10_a_voyager_62 n10_a_voyager_64 N n10_a_voyager_61->n10_a_voyager_64 n10_a_voyager_66 PP n10_a_voyager_61->n10_a_voyager_66 n10_a_voyager_62->n10_a_voyager_63 n10_a_voyager_64->n10_a_voyager_65 n10_a_voyager_67 P-ROLE n10_a_voyager_66->n10_a_voyager_67 n10_a_voyager_69 NP n10_a_voyager_66->n10_a_voyager_69 n10_a_voyager_67->n10_a_voyager_68 n10_a_voyager_70 D n10_a_voyager_69->n10_a_voyager_70 n10_a_voyager_72 N n10_a_voyager_69->n10_a_voyager_72 n10_a_voyager_70->n10_a_voyager_71 n10_a_voyager_72->n10_a_voyager_73 n10_a_voyager_74->n10_a_voyager_75 n10_a_voyager_77 BE;_cat_VePASS_ n10_a_voyager_76->n10_a_voyager_77 n10_a_voyager_79 IP-PPL-CAT n10_a_voyager_76->n10_a_voyager_79 n10_a_voyager_77->n10_a_voyager_78 n10_a_voyager_80 ADVP-NIM n10_a_voyager_79->n10_a_voyager_80 n10_a_voyager_82 NP-LGS n10_a_voyager_79->n10_a_voyager_82 n10_a_voyager_84 ADVP-NIM n10_a_voyager_79->n10_a_voyager_84 n10_a_voyager_87 VVN;_Tn_ n10_a_voyager_79->n10_a_voyager_87 n10_a_voyager_81 *ICH*-136 n10_a_voyager_80->n10_a_voyager_81 n10_a_voyager_82->n10_a_voyager_83 n10_a_voyager_85 ADV n10_a_voyager_84->n10_a_voyager_85 n10_a_voyager_85->n10_a_voyager_86 n10_a_voyager_87->n10_a_voyager_88 n10_a_voyager_89->n10_a_voyager_90 
( (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))