Context                Previous, Next                Top


15_a_voyager
We hope someday, having solved the problems we face, to join a community of galactic civilizations.

%3 r_0015_0002__hope hope r_0015_0001__We We r_0015_0002__hope->r_0015_0001__We [arg0] r_0015_0003__someday someday r_0015_0002__hope->r_0015_0003__someday [nim] r_0015_0012__to_r_0015_0013__join to join r_0015_0002__hope->r_0015_0012__to_r_0015_0013__join [arg1] r_0015_0012__to_r_0015_0013__join->r_0015_0001__We [arg0] r_0015_0014__a_r_0015_0015__community a community r_0015_0012__to_r_0015_0013__join->r_0015_0014__a_r_0015_0015__community [arg1] r_0015_0005__having having r_0015_0006__solved solved r_0015_0005__having->r_0015_0006__solved [scope] r_0015_0006__solved->r_0015_0001__We [arg0] r_0015_0007__the_r_0015_0008__problems the problems r_0015_0006__solved->r_0015_0007__the_r_0015_0008__problems [arg1] r_0015_0010__face face r_0015_0010__face->r_0015_0001__We [arg0] r_0015_0010__face->r_0015_0007__the_r_0015_0008__problems [arg1] r_0015_0018__civilizations civilizations r_0015_0014__a_r_0015_0015__community->r_0015_0018__civilizations of r_0015_0017__galactic galactic r_0015_0018__civilizations->r_0015_0017__galactic [attrib] z_000_15_a_voyager_12 z_000_15_a_voyager_12->r_0015_0002__hope [scope] z_000_15_a_voyager_12->r_0015_0005__having [restriction] 
arc(r_0015_0002__hope, r_0015_0001__We, arg0).
arc(r_0015_0002__hope, r_0015_0003__someday, nim7).
arc(r_0015_0002__hope, r_0015_0012__to_r_0015_0013__join, arg1).
arc(r_0015_0005__having, r_0015_0006__solved, scope).
arc(r_0015_0006__solved, r_0015_0001__We, arg0).
arc(r_0015_0006__solved, r_0015_0007__the_r_0015_0008__problems, arg1).
arc(r_0015_0010__face, r_0015_0001__We, arg0).
arc(r_0015_0010__face, r_0015_0007__the_r_0015_0008__problems, arg1).
arc(r_0015_0012__to_r_0015_0013__join, r_0015_0001__We, arg0).
arc(r_0015_0012__to_r_0015_0013__join, r_0015_0014__a_r_0015_0015__community, arg1).
arc(r_0015_0014__a_r_0015_0015__community, r_0015_0018__civilizations, r_0015_0016__of).
arc(r_0015_0018__civilizations, r_0015_0017__galactic, attrib48).
arc(z_000_15_a_voyager_12, r_0015_0002__hope, scope).
arc(z_000_15_a_voyager_12, r_0015_0005__having, restriction).


%3 r_0015_0002__hope hope r_0015_0001__We We r_0015_0002__hope->r_0015_0001__We [arg0] r_0015_0003__someday someday r_0015_0002__hope->r_0015_0003__someday [nim] r_0015_0012__to_r_0015_0013__join to join r_0015_0002__hope->r_0015_0012__to_r_0015_0013__join [arg1] r_0015_0012__to_r_0015_0013__join->r_0015_0001__We [arg0] r_0015_0014__a_r_0015_0015__community a community r_0015_0012__to_r_0015_0013__join->r_0015_0014__a_r_0015_0015__community [arg1] r_0015_0005__having_r_0015_0006__solved having solved r_0015_0005__having_r_0015_0006__solved->r_0015_0001__We [arg0] r_0015_0007__the_r_0015_0008__problems the problems r_0015_0005__having_r_0015_0006__solved->r_0015_0007__the_r_0015_0008__problems [arg1] r_0015_0010__face face r_0015_0010__face->r_0015_0001__We [arg0] r_0015_0010__face->r_0015_0007__the_r_0015_0008__problems [arg1] r_0015_0018__civilizations civilizations r_0015_0014__a_r_0015_0015__community->r_0015_0018__civilizations of r_0015_0017__galactic galactic r_0015_0018__civilizations->r_0015_0017__galactic [attrib] z_000_15_a_voyager_12 z_000_15_a_voyager_12->r_0015_0002__hope [conj2] z_000_15_a_voyager_12->r_0015_0005__having_r_0015_0006__solved [conj1] 
fof(formula,axiom,
    ? [R_15_10_FACE,Z_15_A_VOYAGER_12,R_15_5_HAVING_SOLVED,R_15_7_THE_PROBLEMS,R_15_2_HOPE,R_15_12_TO_JOIN,R_15_1_WE,R_15_14_A_COMMUNITY,R_15_18_CIVILIZATIONS,R_15_17_GALACTIC,R_15_3_SOMEDAY] :
      ( the_problems(R_15_7_THE_PROBLEMS)
      & we(R_15_1_WE)
      & galactic(R_15_17_GALACTIC)
      & someday(R_15_3_SOMEDAY)
      & face(R_15_10_FACE,R_15_1_WE,R_15_7_THE_PROBLEMS)
      & z_15_a_voyager_12(Z_15_A_VOYAGER_12)
      & conj1(Z_15_A_VOYAGER_12,R_15_5_HAVING_SOLVED)
      & having_solved(R_15_5_HAVING_SOLVED,R_15_1_WE,R_15_7_THE_PROBLEMS)
      & conj2(Z_15_A_VOYAGER_12,R_15_2_HOPE)
      & hope(R_15_2_HOPE,R_15_1_WE,R_15_12_TO_JOIN)
      & to_join(R_15_12_TO_JOIN,R_15_1_WE,R_15_14_A_COMMUNITY)
      & a_community(R_15_14_A_COMMUNITY)
      & of(R_15_14_A_COMMUNITY,R_15_18_CIVILIZATIONS)
      & civilizations(R_15_18_CIVILIZATIONS)
      & attrib48(R_15_18_CIVILIZATIONS,R_15_17_GALACTIC)
      & nim7(R_15_2_HOPE,R_15_3_SOMEDAY) ) ).


n15_a_voyager n15_a_voyager_4 We n15_a_voyager_6 hope n15_a_voyager_9 someday n15_a_voyager_11 , n15_a_voyager_15 having n15_a_voyager_18 solved n15_a_voyager_21 the n15_a_voyager_23 problems n15_a_voyager_26 *T* n15_a_voyager_29 we n15_a_voyager_31 face n15_a_voyager_33 , n15_a_voyager_36 to n15_a_voyager_38 join n15_a_voyager_41 a n15_a_voyager_43 community n15_a_voyager_46 of n15_a_voyager_50 galactic n15_a_voyager_52 civilizations n15_a_voyager_54 . n15_a_voyager_1 IP-MAT n15_a_voyager_2 NP-SBJ n15_a_voyager_1->n15_a_voyager_2 n15_a_voyager_5 VBP;_Tt_ n15_a_voyager_1->n15_a_voyager_5 n15_a_voyager_7 ADVP-NIM n15_a_voyager_1->n15_a_voyager_7 n15_a_voyager_10 PUNC n15_a_voyager_1->n15_a_voyager_10 n15_a_voyager_12 PP-SCON n15_a_voyager_1->n15_a_voyager_12 n15_a_voyager_32 PUNC n15_a_voyager_1->n15_a_voyager_32 n15_a_voyager_34 IP-INF-OB1 n15_a_voyager_1->n15_a_voyager_34 n15_a_voyager_53 PUNC n15_a_voyager_1->n15_a_voyager_53 n15_a_voyager_3 PRO n15_a_voyager_2->n15_a_voyager_3 n15_a_voyager_3->n15_a_voyager_4 n15_a_voyager_5->n15_a_voyager_6 n15_a_voyager_8 ADV n15_a_voyager_7->n15_a_voyager_8 n15_a_voyager_8->n15_a_voyager_9 n15_a_voyager_10->n15_a_voyager_11 n15_a_voyager_13 IP-PPL2 n15_a_voyager_12->n15_a_voyager_13 n15_a_voyager_14 HAG;_cat_Ve_ n15_a_voyager_13->n15_a_voyager_14 n15_a_voyager_16 IP-PPL-CAT n15_a_voyager_13->n15_a_voyager_16 n15_a_voyager_14->n15_a_voyager_15 n15_a_voyager_17 VVN;_Tn_ n15_a_voyager_16->n15_a_voyager_17 n15_a_voyager_19 NP-OB1 n15_a_voyager_16->n15_a_voyager_19 n15_a_voyager_17->n15_a_voyager_18 n15_a_voyager_20 D n15_a_voyager_19->n15_a_voyager_20 n15_a_voyager_22 NS n15_a_voyager_19->n15_a_voyager_22 n15_a_voyager_24 IP-REL n15_a_voyager_19->n15_a_voyager_24 n15_a_voyager_20->n15_a_voyager_21 n15_a_voyager_22->n15_a_voyager_23 n15_a_voyager_25 NP-OB1 n15_a_voyager_24->n15_a_voyager_25 n15_a_voyager_27 NP-SBJ n15_a_voyager_24->n15_a_voyager_27 n15_a_voyager_30 VBP;_Tn_ n15_a_voyager_24->n15_a_voyager_30 n15_a_voyager_25->n15_a_voyager_26 n15_a_voyager_28 PRO n15_a_voyager_27->n15_a_voyager_28 n15_a_voyager_28->n15_a_voyager_29 n15_a_voyager_30->n15_a_voyager_31 n15_a_voyager_32->n15_a_voyager_33 n15_a_voyager_35 TO n15_a_voyager_34->n15_a_voyager_35 n15_a_voyager_37 VB;_Tn_ n15_a_voyager_34->n15_a_voyager_37 n15_a_voyager_39 NP-OB1 n15_a_voyager_34->n15_a_voyager_39 n15_a_voyager_35->n15_a_voyager_36 n15_a_voyager_37->n15_a_voyager_38 n15_a_voyager_40 D n15_a_voyager_39->n15_a_voyager_40 n15_a_voyager_42 N n15_a_voyager_39->n15_a_voyager_42 n15_a_voyager_44 PP n15_a_voyager_39->n15_a_voyager_44 n15_a_voyager_40->n15_a_voyager_41 n15_a_voyager_42->n15_a_voyager_43 n15_a_voyager_45 P-ROLE n15_a_voyager_44->n15_a_voyager_45 n15_a_voyager_47 NP n15_a_voyager_44->n15_a_voyager_47 n15_a_voyager_45->n15_a_voyager_46 n15_a_voyager_48 ADJP n15_a_voyager_47->n15_a_voyager_48 n15_a_voyager_51 NS n15_a_voyager_47->n15_a_voyager_51 n15_a_voyager_49 ADJ n15_a_voyager_48->n15_a_voyager_49 n15_a_voyager_49->n15_a_voyager_50 n15_a_voyager_51->n15_a_voyager_52 n15_a_voyager_53->n15_a_voyager_54 
( (IP-MAT (NP-SBJ;{HUMANS} (PRO We;{we}))
          (VBP;_Tt_ hope;{hope})
          (ADVP-NIM (ADV someday;{someday}))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (HAG;_cat_Ve_ having;{have})
                            (IP-PPL-CAT (VVN;_Tn_ solved;{solve})
                                        (NP-OB1 (D the;{the})
                                                (NS problems;{problem})
                                                (IP-REL (NP-OB1 *T*)
                                                        (NP-SBJ;{HUMANS} (PRO we;{we}))
                                                        (VBP;_Tn_ face;{face}))))))
          (PUNC ,)
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Tn_ join;{join})
                      (NP-OB1 (D a;{a})
                              (N community;{community})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (ADJ galactic;{galactic}))
                                      (NS civilizations;{civilization})))))
          (PUNC .))
  (ID 15_a_voyager))