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_16_3_REPRESENTS,R_16_1_THIS_RECORD,R_16_10_AND,R_16_6_AND,R_16_5_HOPE,R_16_4_OUR,R_16_8_DETERMINATION,R_16_7_OUR,R_16_13_WILL,R_16_12_GOOD,R_16_11_OUR,R_16_15_A_UNIVERSE,R_16_17_AND,R_16_16_VAST,R_16_18_AWESOME] :
      ( this_record(R_16_1_THIS_RECORD)
      & our(R_16_4_OUR)
      & our(R_16_7_OUR)
      & good(R_16_12_GOOD)
      & our(R_16_11_OUR)
      & vast(R_16_16_VAST)
      & awesome(R_16_18_AWESOME)
      & represents(R_16_3_REPRESENTS,R_16_1_THIS_RECORD,R_16_10_AND)
      & and(R_16_10_AND)
      & conj1(R_16_10_AND,R_16_6_AND)
      & and(R_16_6_AND)
      & conj1(R_16_6_AND,R_16_5_HOPE)
      & hope(R_16_5_HOPE)
      & gen(R_16_5_HOPE,R_16_4_OUR)
      & conj2(R_16_6_AND,R_16_8_DETERMINATION)
      & determination(R_16_8_DETERMINATION)
      & gen(R_16_8_DETERMINATION,R_16_7_OUR)
      & conj2(R_16_10_AND,R_16_13_WILL)
      & will(R_16_13_WILL)
      & attrib37(R_16_13_WILL,R_16_12_GOOD)
      & gen(R_16_13_WILL,R_16_11_OUR)
      & in_nim45(R_16_3_REPRESENTS,R_16_15_A_UNIVERSE)
      & a_universe(R_16_15_A_UNIVERSE)
      & attrib48(R_16_15_A_UNIVERSE,R_16_17_AND)
      & and(R_16_17_AND)
      & conj1(R_16_17_AND,R_16_16_VAST)
      & conj2(R_16_17_AND,R_16_18_AWESOME) ) ).


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