( (IP-MAT (NP-SBJ (D This;{this})
                  (N record;{record}))
          (VBP;_Tn_ represents;{represent})
          (NP-OB1 (NLYR (NLYR (NLYR (NLYR (NP-GEN;{HUMANS} (PRO;_genm_ our;{our}))
                                          (N hope;{hope}))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (NP-GEN;{HUMANS} (PRO;_genm_ our;{our}))
                                                 (N determination;{determination})))))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (NP-GEN;{HUMANS} (PRO;_genm_ our;{our}))
                                     (ADJP (ADJ good;{good}))
                                     (N will;{will})))))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D a;{a})
                      (ADJP (AJLYR (AJLYR (ADJ vast;{vast}))
                                   (CONJP (CONJ and;{and})
                                          (AJLYR (ADJ awesome;{awesome})))))
                      (N universe;{universe})))
          (PUNC .))
  (ID 16_a_voyager))

arc(r_0016_0003__represents,r_0016_0001__This_r_0016_0002__record,arg0).
arc(r_0016_0003__represents,r_0016_0010__and,arg1).
arc(r_0016_0003__represents,r_0016_0015__a_r_0016_0019__universe,r_0016_0014__in__nim).
arc(r_0016_0005__hope,r_0016_0004__our,gen).
arc(r_0016_0006__and,r_0016_0005__hope,conj1).
arc(r_0016_0006__and,r_0016_0008__determination,conj2).
arc(r_0016_0008__determination,r_0016_0004__our,gen).
arc(r_0016_0010__and,r_0016_0006__and,conj1).
arc(r_0016_0010__and,r_0016_0013__will,conj2).
arc(r_0016_0013__will,r_0016_0004__our,gen).
arc(r_0016_0013__will,r_0016_0012__good,attrib).
arc(r_0016_0015__a_r_0016_0019__universe,r_0016_0017__and,attrib).
arc(r_0016_0017__and,r_0016_0016__vast,conj1).
arc(r_0016_0017__and,r_0016_0018__awesome,conj2).

fof(formula,axiom,
    ? [R_0016_0001__THIS_R_0016_0002__RECORD,R_0016_0004__OUR,R_0016_0005__HOPE,R_0016_0008__DETERMINATION,R_0016_0006__AND,R_0016_0012__GOOD,R_0016_0013__WILL,R_0016_0010__AND,R_0016_0016__VAST,R_0016_0018__AWESOME,R_0016_0017__AND,R_0016_0015__A_R_0016_0019__UNIVERSE,R_0016_0003__REPRESENTS] :
      ( r_0016_0001__This_r_0016_0002__record(R_0016_0001__THIS_R_0016_0002__RECORD)
      & r_0016_0004__our(R_0016_0004__OUR)
      & r_0016_0012__good(R_0016_0012__GOOD)
      & r_0016_0016__vast(R_0016_0016__VAST)
      & r_0016_0018__awesome(R_0016_0018__AWESOME)
      & r_0016_0003__represents(R_0016_0003__REPRESENTS)
      & has_r_0016_0014__in__nim(R_0016_0003__REPRESENTS,R_0016_0015__A_R_0016_0019__UNIVERSE)
      & r_0016_0015__a_r_0016_0019__universe(R_0016_0015__A_R_0016_0019__UNIVERSE)
      & has_attrib(R_0016_0015__A_R_0016_0019__UNIVERSE,R_0016_0017__AND)
      & r_0016_0017__and(R_0016_0017__AND)
      & has_conj2(R_0016_0017__AND,R_0016_0018__AWESOME)
      & has_conj1(R_0016_0017__AND,R_0016_0016__VAST)
      & has_arg1(R_0016_0003__REPRESENTS,R_0016_0010__AND)
      & r_0016_0010__and(R_0016_0010__AND)
      & has_conj2(R_0016_0010__AND,R_0016_0013__WILL)
      & r_0016_0013__will(R_0016_0013__WILL)
      & has_attrib(R_0016_0013__WILL,R_0016_0012__GOOD)
      & has_gen(R_0016_0013__WILL,R_0016_0004__OUR)
      & has_conj1(R_0016_0010__AND,R_0016_0006__AND)
      & r_0016_0006__and(R_0016_0006__AND)
      & has_conj2(R_0016_0006__AND,R_0016_0008__DETERMINATION)
      & r_0016_0008__determination(R_0016_0008__DETERMINATION)
      & has_gen(R_0016_0008__DETERMINATION,R_0016_0004__OUR)
      & has_conj1(R_0016_0006__AND,R_0016_0005__HOPE)
      & r_0016_0005__hope(R_0016_0005__HOPE)
      & has_gen(R_0016_0005__HOPE,R_0016_0004__OUR)
      & has_arg0(R_0016_0003__REPRESENTS,R_0016_0001__THIS_R_0016_0002__RECORD) ) ).