TSPC 15_a_voyager

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

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

arc(r_0015_0002__hope,r_0015_0001__We,arg0).
arc(r_0015_0002__hope,r_0015_0003__someday,nim).
arc(r_0015_0002__hope,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,inv_arg1).
arc(r_0015_0013__join,r_0015_0001__We,arg0).
arc(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,attrib).
arc(z_0015_5006,r_0015_0002__hope,scope).
arc(z_0015_5006,r_0015_0005__having,restriction).

fof(formula,axiom,
    ? [R_0015_0001__WE,R_0015_0003__SOMEDAY,R_0015_0017__GALACTIC,R_0015_0018__CIVILIZATIONS,R_0015_0014__A_R_0015_0015__COMMUNITY,R_0015_0013__JOIN,R_0015_0002__HOPE,R_0015_0010__FACE,R_0015_0007__THE_R_0015_0008__PROBLEMS,R_0015_0005__HAVING_R_0015_0006__SOLVED,Z_0015_5006] :
      ( r_0015_0001__We(R_0015_0001__WE)
      & r_0015_0003__someday(R_0015_0003__SOMEDAY)
      & r_0015_0017__galactic(R_0015_0017__GALACTIC)
      & z_0015_5006(Z_0015_5006)
      & has_conj1(Z_0015_5006,R_0015_0005__HAVING_R_0015_0006__SOLVED)
      & r_0015_0005__having_r_0015_0006__solved(R_0015_0005__HAVING_R_0015_0006__SOLVED)
      & has_arg1(R_0015_0005__HAVING_R_0015_0006__SOLVED,R_0015_0007__THE_R_0015_0008__PROBLEMS)
      & r_0015_0007__the_r_0015_0008__problems(R_0015_0007__THE_R_0015_0008__PROBLEMS)
      & has_inv_arg1(R_0015_0007__THE_R_0015_0008__PROBLEMS,R_0015_0010__FACE)
      & r_0015_0010__face(R_0015_0010__FACE)
      & has_arg0(R_0015_0010__FACE,R_0015_0001__WE)
      & has_arg0(R_0015_0005__HAVING_R_0015_0006__SOLVED,R_0015_0001__WE)
      & has_conj2(Z_0015_5006,R_0015_0002__HOPE)
      & r_0015_0002__hope(R_0015_0002__HOPE)
      & has_arg1(R_0015_0002__HOPE,R_0015_0013__JOIN)
      & r_0015_0013__join(R_0015_0013__JOIN)
      & has_arg1(R_0015_0013__JOIN,R_0015_0014__A_R_0015_0015__COMMUNITY)
      & r_0015_0014__a_r_0015_0015__community(R_0015_0014__A_R_0015_0015__COMMUNITY)
      & has_r_0015_0016__of(R_0015_0014__A_R_0015_0015__COMMUNITY,R_0015_0018__CIVILIZATIONS)
      & r_0015_0018__civilizations(R_0015_0018__CIVILIZATIONS)
      & has_attrib(R_0015_0018__CIVILIZATIONS,R_0015_0017__GALACTIC)
      & has_arg0(R_0015_0013__JOIN,R_0015_0001__WE)
      & has_nim(R_0015_0002__HOPE,R_0015_0003__SOMEDAY)
      & has_arg0(R_0015_0002__HOPE,R_0015_0001__WE) ) ).