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 z_000_15_a_voyager_12 r_0015_0005__having_r_0015_0006__solved having solved z_000_15_a_voyager_12->r_0015_0005__having_r_0015_0006__solved [conj1] r_0015_0002__hope hope z_000_15_a_voyager_12->r_0015_0002__hope [conj2] r_0015_0001__We We 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_0012__to_r_0015_0013__join to join r_0015_0002__hope->r_0015_0012__to_r_0015_0013__join [arg1] 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_0018__civilizations civilizations r_0015_0017__galactic galactic r_0015_0018__civilizations->r_0015_0017__galactic [attrib] r_0015_0014__a_r_0015_0015__community a community r_0015_0014__a_r_0015_0015__community->r_0015_0018__civilizations of r_0015_0012__to_r_0015_0013__join->r_0015_0014__a_r_0015_0015__community [arg1] r_0015_0012__to_r_0015_0013__join->r_0015_0001__We [arg0] 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] 
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__1_1_1_1 We n15_a_voyager__1_2_1 hope n15_a_voyager__1_3_1_1 someday n15_a_voyager__1_4_1 , n15_a_voyager__1_5_1_1_1 having n15_a_voyager__1_5_1_2_1_1 solved n15_a_voyager__1_5_1_2_2_1_1 the n15_a_voyager__1_5_1_2_2_2_1 problems n15_a_voyager__1_5_1_2_2_3_1_1 *T* n15_a_voyager__1_5_1_2_2_3_2_1_1 we n15_a_voyager__1_5_1_2_2_3_3_1 face n15_a_voyager__1_6_1 , n15_a_voyager__1_7_1_1 to n15_a_voyager__1_7_2_1 join n15_a_voyager__1_7_3_1_1 a n15_a_voyager__1_7_3_2_1 community n15_a_voyager__1_7_3_3_1_1 of n15_a_voyager__1_7_3_3_2_1_1_1 galactic n15_a_voyager__1_7_3_3_2_2_1 civilizations n15_a_voyager__1_8_1 . n15_a_voyager__1 IP-MAT n15_a_voyager__1_1 NP-SBJ n15_a_voyager__1->n15_a_voyager__1_1 n15_a_voyager__1_2 VBP;_Tt_ n15_a_voyager__1->n15_a_voyager__1_2 n15_a_voyager__1_3 ADVP-NIM n15_a_voyager__1->n15_a_voyager__1_3 n15_a_voyager__1_4 PUNC n15_a_voyager__1->n15_a_voyager__1_4 n15_a_voyager__1_5 PP-SCON n15_a_voyager__1->n15_a_voyager__1_5 n15_a_voyager__1_6 PUNC n15_a_voyager__1->n15_a_voyager__1_6 n15_a_voyager__1_7 IP-INF-OB1 n15_a_voyager__1->n15_a_voyager__1_7 n15_a_voyager__1_8 PUNC n15_a_voyager__1->n15_a_voyager__1_8 n15_a_voyager__1_1_1 PRO n15_a_voyager__1_1->n15_a_voyager__1_1_1 n15_a_voyager__1_1_1->n15_a_voyager__1_1_1_1 n15_a_voyager__1_2->n15_a_voyager__1_2_1 n15_a_voyager__1_3_1 ADV n15_a_voyager__1_3->n15_a_voyager__1_3_1 n15_a_voyager__1_3_1->n15_a_voyager__1_3_1_1 n15_a_voyager__1_4->n15_a_voyager__1_4_1 n15_a_voyager__1_5_1 IP-PPL2 n15_a_voyager__1_5->n15_a_voyager__1_5_1 n15_a_voyager__1_5_1_1 HAG;_cat_Ve_ n15_a_voyager__1_5_1->n15_a_voyager__1_5_1_1 n15_a_voyager__1_5_1_2 IP-PPL-CAT n15_a_voyager__1_5_1->n15_a_voyager__1_5_1_2 n15_a_voyager__1_5_1_1->n15_a_voyager__1_5_1_1_1 n15_a_voyager__1_5_1_2_1 VVN;_Tn_ n15_a_voyager__1_5_1_2->n15_a_voyager__1_5_1_2_1 n15_a_voyager__1_5_1_2_2 NP-OB1 n15_a_voyager__1_5_1_2->n15_a_voyager__1_5_1_2_2 n15_a_voyager__1_5_1_2_1->n15_a_voyager__1_5_1_2_1_1 n15_a_voyager__1_5_1_2_2_1 D n15_a_voyager__1_5_1_2_2->n15_a_voyager__1_5_1_2_2_1 n15_a_voyager__1_5_1_2_2_2 NS n15_a_voyager__1_5_1_2_2->n15_a_voyager__1_5_1_2_2_2 n15_a_voyager__1_5_1_2_2_3 IP-REL n15_a_voyager__1_5_1_2_2->n15_a_voyager__1_5_1_2_2_3 n15_a_voyager__1_5_1_2_2_1->n15_a_voyager__1_5_1_2_2_1_1 n15_a_voyager__1_5_1_2_2_2->n15_a_voyager__1_5_1_2_2_2_1 n15_a_voyager__1_5_1_2_2_3_1 NP-OB1 n15_a_voyager__1_5_1_2_2_3->n15_a_voyager__1_5_1_2_2_3_1 n15_a_voyager__1_5_1_2_2_3_2 NP-SBJ n15_a_voyager__1_5_1_2_2_3->n15_a_voyager__1_5_1_2_2_3_2 n15_a_voyager__1_5_1_2_2_3_3 VBP;_Tn_ n15_a_voyager__1_5_1_2_2_3->n15_a_voyager__1_5_1_2_2_3_3 n15_a_voyager__1_5_1_2_2_3_1->n15_a_voyager__1_5_1_2_2_3_1_1 n15_a_voyager__1_5_1_2_2_3_2_1 PRO n15_a_voyager__1_5_1_2_2_3_2->n15_a_voyager__1_5_1_2_2_3_2_1 n15_a_voyager__1_5_1_2_2_3_2_1->n15_a_voyager__1_5_1_2_2_3_2_1_1 n15_a_voyager__1_5_1_2_2_3_3->n15_a_voyager__1_5_1_2_2_3_3_1 n15_a_voyager__1_6->n15_a_voyager__1_6_1 n15_a_voyager__1_7_1 TO n15_a_voyager__1_7->n15_a_voyager__1_7_1 n15_a_voyager__1_7_2 VB;_Tn_ n15_a_voyager__1_7->n15_a_voyager__1_7_2 n15_a_voyager__1_7_3 NP-OB1 n15_a_voyager__1_7->n15_a_voyager__1_7_3 n15_a_voyager__1_7_1->n15_a_voyager__1_7_1_1 n15_a_voyager__1_7_2->n15_a_voyager__1_7_2_1 n15_a_voyager__1_7_3_1 D n15_a_voyager__1_7_3->n15_a_voyager__1_7_3_1 n15_a_voyager__1_7_3_2 N n15_a_voyager__1_7_3->n15_a_voyager__1_7_3_2 n15_a_voyager__1_7_3_3 PP n15_a_voyager__1_7_3->n15_a_voyager__1_7_3_3 n15_a_voyager__1_7_3_1->n15_a_voyager__1_7_3_1_1 n15_a_voyager__1_7_3_2->n15_a_voyager__1_7_3_2_1 n15_a_voyager__1_7_3_3_1 P-ROLE n15_a_voyager__1_7_3_3->n15_a_voyager__1_7_3_3_1 n15_a_voyager__1_7_3_3_2 NP n15_a_voyager__1_7_3_3->n15_a_voyager__1_7_3_3_2 n15_a_voyager__1_7_3_3_1->n15_a_voyager__1_7_3_3_1_1 n15_a_voyager__1_7_3_3_2_1 ADJP n15_a_voyager__1_7_3_3_2->n15_a_voyager__1_7_3_3_2_1 n15_a_voyager__1_7_3_3_2_2 NS n15_a_voyager__1_7_3_3_2->n15_a_voyager__1_7_3_3_2_2 n15_a_voyager__1_7_3_3_2_1_1 ADJ n15_a_voyager__1_7_3_3_2_1->n15_a_voyager__1_7_3_3_2_1_1 n15_a_voyager__1_7_3_3_2_1_1->n15_a_voyager__1_7_3_3_2_1_1_1 n15_a_voyager__1_7_3_3_2_2->n15_a_voyager__1_7_3_3_2_2_1 n15_a_voyager__1_8->n15_a_voyager__1_8_1 
( (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))