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_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] 
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_4 This n16_a_voyager_6 record n16_a_voyager_8 represents n16_a_voyager_16 our n16_a_voyager_18 hope n16_a_voyager_21 and n16_a_voyager_25 our n16_a_voyager_27 determination n16_a_voyager_29 , n16_a_voyager_32 and n16_a_voyager_36 our n16_a_voyager_39 good n16_a_voyager_41 will n16_a_voyager_44 in n16_a_voyager_47 a n16_a_voyager_52 vast n16_a_voyager_55 and n16_a_voyager_58 awesome n16_a_voyager_60 universe n16_a_voyager_62 . n16_a_voyager_1 IP-MAT n16_a_voyager_2 NP-SBJ n16_a_voyager_1->n16_a_voyager_2 n16_a_voyager_7 VBP;_Tn_ n16_a_voyager_1->n16_a_voyager_7 n16_a_voyager_9 NP-OB1 n16_a_voyager_1->n16_a_voyager_9 n16_a_voyager_42 PP-NIM n16_a_voyager_1->n16_a_voyager_42 n16_a_voyager_61 PUNC n16_a_voyager_1->n16_a_voyager_61 n16_a_voyager_3 D n16_a_voyager_2->n16_a_voyager_3 n16_a_voyager_5 N n16_a_voyager_2->n16_a_voyager_5 n16_a_voyager_3->n16_a_voyager_4 n16_a_voyager_5->n16_a_voyager_6 n16_a_voyager_7->n16_a_voyager_8 n16_a_voyager_10 NLYR n16_a_voyager_9->n16_a_voyager_10 n16_a_voyager_11 NLYR n16_a_voyager_10->n16_a_voyager_11 n16_a_voyager_28 PUNC n16_a_voyager_10->n16_a_voyager_28 n16_a_voyager_30 CONJP n16_a_voyager_10->n16_a_voyager_30 n16_a_voyager_12 NLYR n16_a_voyager_11->n16_a_voyager_12 n16_a_voyager_13 NLYR n16_a_voyager_12->n16_a_voyager_13 n16_a_voyager_19 CONJP n16_a_voyager_12->n16_a_voyager_19 n16_a_voyager_14 NP-GEN n16_a_voyager_13->n16_a_voyager_14 n16_a_voyager_17 N n16_a_voyager_13->n16_a_voyager_17 n16_a_voyager_15 PRO;_genm_ n16_a_voyager_14->n16_a_voyager_15 n16_a_voyager_15->n16_a_voyager_16 n16_a_voyager_17->n16_a_voyager_18 n16_a_voyager_20 CONJ n16_a_voyager_19->n16_a_voyager_20 n16_a_voyager_22 NLYR n16_a_voyager_19->n16_a_voyager_22 n16_a_voyager_20->n16_a_voyager_21 n16_a_voyager_23 NP-GEN n16_a_voyager_22->n16_a_voyager_23 n16_a_voyager_26 N n16_a_voyager_22->n16_a_voyager_26 n16_a_voyager_24 PRO;_genm_ n16_a_voyager_23->n16_a_voyager_24 n16_a_voyager_24->n16_a_voyager_25 n16_a_voyager_26->n16_a_voyager_27 n16_a_voyager_28->n16_a_voyager_29 n16_a_voyager_31 CONJ n16_a_voyager_30->n16_a_voyager_31 n16_a_voyager_33 NLYR n16_a_voyager_30->n16_a_voyager_33 n16_a_voyager_31->n16_a_voyager_32 n16_a_voyager_34 NP-GEN n16_a_voyager_33->n16_a_voyager_34 n16_a_voyager_37 ADJP n16_a_voyager_33->n16_a_voyager_37 n16_a_voyager_40 N n16_a_voyager_33->n16_a_voyager_40 n16_a_voyager_35 PRO;_genm_ n16_a_voyager_34->n16_a_voyager_35 n16_a_voyager_35->n16_a_voyager_36 n16_a_voyager_38 ADJ n16_a_voyager_37->n16_a_voyager_38 n16_a_voyager_38->n16_a_voyager_39 n16_a_voyager_40->n16_a_voyager_41 n16_a_voyager_43 P-ROLE n16_a_voyager_42->n16_a_voyager_43 n16_a_voyager_45 NP n16_a_voyager_42->n16_a_voyager_45 n16_a_voyager_43->n16_a_voyager_44 n16_a_voyager_46 D n16_a_voyager_45->n16_a_voyager_46 n16_a_voyager_48 ADJP n16_a_voyager_45->n16_a_voyager_48 n16_a_voyager_59 N n16_a_voyager_45->n16_a_voyager_59 n16_a_voyager_46->n16_a_voyager_47 n16_a_voyager_49 AJLYR n16_a_voyager_48->n16_a_voyager_49 n16_a_voyager_50 AJLYR n16_a_voyager_49->n16_a_voyager_50 n16_a_voyager_53 CONJP n16_a_voyager_49->n16_a_voyager_53 n16_a_voyager_51 ADJ n16_a_voyager_50->n16_a_voyager_51 n16_a_voyager_51->n16_a_voyager_52 n16_a_voyager_54 CONJ n16_a_voyager_53->n16_a_voyager_54 n16_a_voyager_56 AJLYR n16_a_voyager_53->n16_a_voyager_56 n16_a_voyager_54->n16_a_voyager_55 n16_a_voyager_57 ADJ n16_a_voyager_56->n16_a_voyager_57 n16_a_voyager_57->n16_a_voyager_58 n16_a_voyager_59->n16_a_voyager_60 n16_a_voyager_61->n16_a_voyager_62 
( (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))