Context                Previous, Next                Top


16_a_voyager
This record represents our hope and our determination, and our good will in a vast and awesome universe.

%3 r_0016_0003__represents represents r_0016_0001__This_r_0016_0002__record This record r_0016_0003__represents->r_0016_0001__This_r_0016_0002__record [arg0] r_0016_0010__and and r_0016_0003__represents->r_0016_0010__and [arg1] r_0016_0015__a_r_0016_0019__universe a universe r_0016_0003__represents->r_0016_0015__a_r_0016_0019__universe in [nim] r_0016_0006__and and r_0016_0010__and->r_0016_0006__and [conj1] r_0016_0013__will will r_0016_0010__and->r_0016_0013__will [conj2] r_0016_0017__and and r_0016_0015__a_r_0016_0019__universe->r_0016_0017__and [attrib] r_0016_0005__hope hope r_0016_0004__our our r_0016_0005__hope->r_0016_0004__our [gen] r_0016_0006__and->r_0016_0005__hope [conj1] r_0016_0008__determination determination r_0016_0006__and->r_0016_0008__determination [conj2] r_0016_0007__our our r_0016_0008__determination->r_0016_0007__our [gen] r_0016_0011__our our r_0016_0013__will->r_0016_0011__our [gen] r_0016_0012__good good r_0016_0013__will->r_0016_0012__good [attrib] r_0016_0016__vast vast r_0016_0017__and->r_0016_0016__vast [conj1] r_0016_0018__awesome awesome r_0016_0017__and->r_0016_0018__awesome [conj2] 
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_nim45).
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_0007__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_0011__our, gen).
arc(r_0016_0013__will, r_0016_0012__good, attrib37).
arc(r_0016_0015__a_r_0016_0019__universe, r_0016_0017__and, attrib48).
arc(r_0016_0017__and, r_0016_0016__vast, conj1).
arc(r_0016_0017__and, r_0016_0018__awesome, conj2).


%3 r_0016_0017__and and r_0016_0018__awesome awesome r_0016_0017__and->r_0016_0018__awesome [conj2] r_0016_0016__vast vast r_0016_0017__and->r_0016_0016__vast [conj1] r_0016_0015__a_r_0016_0019__universe a universe r_0016_0015__a_r_0016_0019__universe->r_0016_0017__and [attrib] r_0016_0013__will will r_0016_0012__good good r_0016_0013__will->r_0016_0012__good [attrib] r_0016_0011__our our r_0016_0013__will->r_0016_0011__our [gen] r_0016_0010__and and r_0016_0010__and->r_0016_0013__will [conj2] r_0016_0006__and and r_0016_0010__and->r_0016_0006__and [conj1] r_0016_0008__determination determination r_0016_0006__and->r_0016_0008__determination [conj2] r_0016_0005__hope hope r_0016_0006__and->r_0016_0005__hope [conj1] r_0016_0007__our our r_0016_0008__determination->r_0016_0007__our [gen] r_0016_0004__our our r_0016_0005__hope->r_0016_0004__our [gen] r_0016_0003__represents represents r_0016_0003__represents->r_0016_0015__a_r_0016_0019__universe in [nim] r_0016_0003__represents->r_0016_0010__and [arg1] r_0016_0001__This_r_0016_0002__record This record r_0016_0003__represents->r_0016_0001__This_r_0016_0002__record [arg0] 
fof(formula,axiom,
    ? [R_0016_0001__THIS_R_0016_0002__RECORD,R_0016_0004__OUR,R_0016_0005__HOPE,R_0016_0007__OUR,R_0016_0008__DETERMINATION,R_0016_0006__AND,R_0016_0011__OUR,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_0007__our(R_0016_0007__OUR)
      & r_0016_0011__our(R_0016_0011__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_nim45(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_attrib48(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_attrib37(R_0016_0013__WILL,R_0016_0012__GOOD)
      & has_gen(R_0016_0013__WILL,R_0016_0011__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_0007__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) ) ).


n16_a_voyager n16_a_voyager__1_1_1_1 This n16_a_voyager__1_1_2_1 record n16_a_voyager__1_2_1 represents n16_a_voyager__1_3_1_1_1_1_1_1_1 our n16_a_voyager__1_3_1_1_1_1_2_1 hope n16_a_voyager__1_3_1_1_1_2_1_1 and n16_a_voyager__1_3_1_1_1_2_2_1_1_1 our n16_a_voyager__1_3_1_1_1_2_2_2_1 determination n16_a_voyager__1_3_1_2_1 , n16_a_voyager__1_3_1_3_1_1 and n16_a_voyager__1_3_1_3_2_1_1_1 our n16_a_voyager__1_3_1_3_2_2_1_1 good n16_a_voyager__1_3_1_3_2_3_1 will n16_a_voyager__1_4_1_1 in n16_a_voyager__1_4_2_1_1 a n16_a_voyager__1_4_2_2_1_1_1_1 vast n16_a_voyager__1_4_2_2_1_2_1_1 and n16_a_voyager__1_4_2_2_1_2_2_1_1 awesome n16_a_voyager__1_4_2_3_1 universe n16_a_voyager__1_5_1 . n16_a_voyager__1 IP-MAT n16_a_voyager__1_1 NP-SBJ n16_a_voyager__1->n16_a_voyager__1_1 n16_a_voyager__1_2 VBP;_Tn_ n16_a_voyager__1->n16_a_voyager__1_2 n16_a_voyager__1_3 NP-OB1 n16_a_voyager__1->n16_a_voyager__1_3 n16_a_voyager__1_4 PP-NIM n16_a_voyager__1->n16_a_voyager__1_4 n16_a_voyager__1_5 PUNC n16_a_voyager__1->n16_a_voyager__1_5 n16_a_voyager__1_1_1 D n16_a_voyager__1_1->n16_a_voyager__1_1_1 n16_a_voyager__1_1_2 N n16_a_voyager__1_1->n16_a_voyager__1_1_2 n16_a_voyager__1_1_1->n16_a_voyager__1_1_1_1 n16_a_voyager__1_1_2->n16_a_voyager__1_1_2_1 n16_a_voyager__1_2->n16_a_voyager__1_2_1 n16_a_voyager__1_3_1 NLYR n16_a_voyager__1_3->n16_a_voyager__1_3_1 n16_a_voyager__1_3_1_1 NLYR n16_a_voyager__1_3_1->n16_a_voyager__1_3_1_1 n16_a_voyager__1_3_1_2 PUNC n16_a_voyager__1_3_1->n16_a_voyager__1_3_1_2 n16_a_voyager__1_3_1_3 CONJP n16_a_voyager__1_3_1->n16_a_voyager__1_3_1_3 n16_a_voyager__1_3_1_1_1 NLYR n16_a_voyager__1_3_1_1->n16_a_voyager__1_3_1_1_1 n16_a_voyager__1_3_1_1_1_1 NLYR n16_a_voyager__1_3_1_1_1->n16_a_voyager__1_3_1_1_1_1 n16_a_voyager__1_3_1_1_1_2 CONJP n16_a_voyager__1_3_1_1_1->n16_a_voyager__1_3_1_1_1_2 n16_a_voyager__1_3_1_1_1_1_1 NP-GEN n16_a_voyager__1_3_1_1_1_1->n16_a_voyager__1_3_1_1_1_1_1 n16_a_voyager__1_3_1_1_1_1_2 N n16_a_voyager__1_3_1_1_1_1->n16_a_voyager__1_3_1_1_1_1_2 n16_a_voyager__1_3_1_1_1_1_1_1 PRO;_genm_ n16_a_voyager__1_3_1_1_1_1_1->n16_a_voyager__1_3_1_1_1_1_1_1 n16_a_voyager__1_3_1_1_1_1_1_1->n16_a_voyager__1_3_1_1_1_1_1_1_1 n16_a_voyager__1_3_1_1_1_1_2->n16_a_voyager__1_3_1_1_1_1_2_1 n16_a_voyager__1_3_1_1_1_2_1 CONJ n16_a_voyager__1_3_1_1_1_2->n16_a_voyager__1_3_1_1_1_2_1 n16_a_voyager__1_3_1_1_1_2_2 NLYR n16_a_voyager__1_3_1_1_1_2->n16_a_voyager__1_3_1_1_1_2_2 n16_a_voyager__1_3_1_1_1_2_1->n16_a_voyager__1_3_1_1_1_2_1_1 n16_a_voyager__1_3_1_1_1_2_2_1 NP-GEN n16_a_voyager__1_3_1_1_1_2_2->n16_a_voyager__1_3_1_1_1_2_2_1 n16_a_voyager__1_3_1_1_1_2_2_2 N n16_a_voyager__1_3_1_1_1_2_2->n16_a_voyager__1_3_1_1_1_2_2_2 n16_a_voyager__1_3_1_1_1_2_2_1_1 PRO;_genm_ n16_a_voyager__1_3_1_1_1_2_2_1->n16_a_voyager__1_3_1_1_1_2_2_1_1 n16_a_voyager__1_3_1_1_1_2_2_1_1->n16_a_voyager__1_3_1_1_1_2_2_1_1_1 n16_a_voyager__1_3_1_1_1_2_2_2->n16_a_voyager__1_3_1_1_1_2_2_2_1 n16_a_voyager__1_3_1_2->n16_a_voyager__1_3_1_2_1 n16_a_voyager__1_3_1_3_1 CONJ n16_a_voyager__1_3_1_3->n16_a_voyager__1_3_1_3_1 n16_a_voyager__1_3_1_3_2 NLYR n16_a_voyager__1_3_1_3->n16_a_voyager__1_3_1_3_2 n16_a_voyager__1_3_1_3_1->n16_a_voyager__1_3_1_3_1_1 n16_a_voyager__1_3_1_3_2_1 NP-GEN n16_a_voyager__1_3_1_3_2->n16_a_voyager__1_3_1_3_2_1 n16_a_voyager__1_3_1_3_2_2 ADJP n16_a_voyager__1_3_1_3_2->n16_a_voyager__1_3_1_3_2_2 n16_a_voyager__1_3_1_3_2_3 N n16_a_voyager__1_3_1_3_2->n16_a_voyager__1_3_1_3_2_3 n16_a_voyager__1_3_1_3_2_1_1 PRO;_genm_ n16_a_voyager__1_3_1_3_2_1->n16_a_voyager__1_3_1_3_2_1_1 n16_a_voyager__1_3_1_3_2_1_1->n16_a_voyager__1_3_1_3_2_1_1_1 n16_a_voyager__1_3_1_3_2_2_1 ADJ n16_a_voyager__1_3_1_3_2_2->n16_a_voyager__1_3_1_3_2_2_1 n16_a_voyager__1_3_1_3_2_2_1->n16_a_voyager__1_3_1_3_2_2_1_1 n16_a_voyager__1_3_1_3_2_3->n16_a_voyager__1_3_1_3_2_3_1 n16_a_voyager__1_4_1 P-ROLE n16_a_voyager__1_4->n16_a_voyager__1_4_1 n16_a_voyager__1_4_2 NP n16_a_voyager__1_4->n16_a_voyager__1_4_2 n16_a_voyager__1_4_1->n16_a_voyager__1_4_1_1 n16_a_voyager__1_4_2_1 D n16_a_voyager__1_4_2->n16_a_voyager__1_4_2_1 n16_a_voyager__1_4_2_2 ADJP n16_a_voyager__1_4_2->n16_a_voyager__1_4_2_2 n16_a_voyager__1_4_2_3 N n16_a_voyager__1_4_2->n16_a_voyager__1_4_2_3 n16_a_voyager__1_4_2_1->n16_a_voyager__1_4_2_1_1 n16_a_voyager__1_4_2_2_1 AJLYR n16_a_voyager__1_4_2_2->n16_a_voyager__1_4_2_2_1 n16_a_voyager__1_4_2_2_1_1 AJLYR n16_a_voyager__1_4_2_2_1->n16_a_voyager__1_4_2_2_1_1 n16_a_voyager__1_4_2_2_1_2 CONJP n16_a_voyager__1_4_2_2_1->n16_a_voyager__1_4_2_2_1_2 n16_a_voyager__1_4_2_2_1_1_1 ADJ n16_a_voyager__1_4_2_2_1_1->n16_a_voyager__1_4_2_2_1_1_1 n16_a_voyager__1_4_2_2_1_1_1->n16_a_voyager__1_4_2_2_1_1_1_1 n16_a_voyager__1_4_2_2_1_2_1 CONJ n16_a_voyager__1_4_2_2_1_2->n16_a_voyager__1_4_2_2_1_2_1 n16_a_voyager__1_4_2_2_1_2_2 AJLYR n16_a_voyager__1_4_2_2_1_2->n16_a_voyager__1_4_2_2_1_2_2 n16_a_voyager__1_4_2_2_1_2_1->n16_a_voyager__1_4_2_2_1_2_1_1 n16_a_voyager__1_4_2_2_1_2_2_1 ADJ n16_a_voyager__1_4_2_2_1_2_2->n16_a_voyager__1_4_2_2_1_2_2_1 n16_a_voyager__1_4_2_2_1_2_2_1->n16_a_voyager__1_4_2_2_1_2_2_1_1 n16_a_voyager__1_4_2_3->n16_a_voyager__1_4_2_3_1 n16_a_voyager__1_5->n16_a_voyager__1_5_1 
( (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))