13_a_voyager
This is a present from a small distant world, a token of our sounds, our science, our images, our music, our thoughts, and our feelings.
arc(r_0013_0002__is, r_0013_0001__This, arg0).
arc(r_0013_0002__is, r_0013_0003__a_r_0013_0004__present, prd).
arc(r_0013_0003__a_r_0013_0004__present, r_0013_0006__a_r_0013_0009__world, r_0013_0005__from).
arc(r_0013_0006__a_r_0013_0009__world, r_0013_0007__small, attrib18).
arc(r_0013_0006__a_r_0013_0009__world, r_0013_0008__distant, attrib21).
arc(r_0013_0011__a_r_0013_0012__token, r_0013_0029__and, r_0013_0013__of).
arc(r_0013_0015__sounds, r_0013_0014__our, gen).
arc(r_0013_0018__science, r_0013_0017__our, gen).
arc(r_0013_0021__images, r_0013_0020__our, gen).
arc(r_0013_0024__music, r_0013_0023__our, gen).
arc(r_0013_0027__thoughts, r_0013_0026__our, gen).
arc(r_0013_0029__and, r_0013_0015__sounds, conj1).
arc(r_0013_0029__and, r_0013_0018__science, conj2).
arc(r_0013_0029__and, r_0013_0021__images, conj3).
arc(r_0013_0029__and, r_0013_0024__music, conj4).
arc(r_0013_0029__and, r_0013_0027__thoughts, conj5).
arc(r_0013_0029__and, r_0013_0031__feelings, conj6).
arc(r_0013_0031__feelings, r_0013_0030__our, gen).
arc(z_000_13_a_voyager_28, r_0013_0003__a_r_0013_0004__present, arg0).
arc(z_000_13_a_voyager_28, r_0013_0011__a_r_0013_0012__token, prd).
fof(formula,axiom,
? [R_0013_0001__THIS,R_0013_0007__SMALL,R_0013_0008__DISTANT,R_0013_0006__A_R_0013_0009__WORLD,R_0013_0003__A_R_0013_0004__PRESENT,R_0013_0002__IS,R_0013_0014__OUR,R_0013_0015__SOUNDS,R_0013_0017__OUR,R_0013_0018__SCIENCE,R_0013_0020__OUR,R_0013_0021__IMAGES,R_0013_0023__OUR,R_0013_0024__MUSIC,R_0013_0026__OUR,R_0013_0027__THOUGHTS,R_0013_0030__OUR,R_0013_0031__FEELINGS,R_0013_0029__AND,R_0013_0011__A_R_0013_0012__TOKEN,Z_000_13_A_VOYAGER_28] :
( r_0013_0001__This(R_0013_0001__THIS)
& r_0013_0007__small(R_0013_0007__SMALL)
& r_0013_0008__distant(R_0013_0008__DISTANT)
& r_0013_0014__our(R_0013_0014__OUR)
& r_0013_0017__our(R_0013_0017__OUR)
& r_0013_0020__our(R_0013_0020__OUR)
& r_0013_0023__our(R_0013_0023__OUR)
& r_0013_0026__our(R_0013_0026__OUR)
& r_0013_0030__our(R_0013_0030__OUR)
& z_000_13_a_voyager_28(Z_000_13_A_VOYAGER_28)
& has_prd(Z_000_13_A_VOYAGER_28,R_0013_0011__A_R_0013_0012__TOKEN)
& r_0013_0011__a_r_0013_0012__token(R_0013_0011__A_R_0013_0012__TOKEN)
& has_r_0013_0013__of(R_0013_0011__A_R_0013_0012__TOKEN,R_0013_0029__AND)
& r_0013_0029__and(R_0013_0029__AND)
& has_conj6(R_0013_0029__AND,R_0013_0031__FEELINGS)
& r_0013_0031__feelings(R_0013_0031__FEELINGS)
& has_gen(R_0013_0031__FEELINGS,R_0013_0030__OUR)
& has_conj5(R_0013_0029__AND,R_0013_0027__THOUGHTS)
& r_0013_0027__thoughts(R_0013_0027__THOUGHTS)
& has_gen(R_0013_0027__THOUGHTS,R_0013_0026__OUR)
& has_conj4(R_0013_0029__AND,R_0013_0024__MUSIC)
& r_0013_0024__music(R_0013_0024__MUSIC)
& has_gen(R_0013_0024__MUSIC,R_0013_0023__OUR)
& has_conj3(R_0013_0029__AND,R_0013_0021__IMAGES)
& r_0013_0021__images(R_0013_0021__IMAGES)
& has_gen(R_0013_0021__IMAGES,R_0013_0020__OUR)
& has_conj2(R_0013_0029__AND,R_0013_0018__SCIENCE)
& r_0013_0018__science(R_0013_0018__SCIENCE)
& has_gen(R_0013_0018__SCIENCE,R_0013_0017__OUR)
& has_conj1(R_0013_0029__AND,R_0013_0015__SOUNDS)
& r_0013_0015__sounds(R_0013_0015__SOUNDS)
& has_gen(R_0013_0015__SOUNDS,R_0013_0014__OUR)
& has_arg0(Z_000_13_A_VOYAGER_28,R_0013_0003__A_R_0013_0004__PRESENT)
& r_0013_0003__a_r_0013_0004__present(R_0013_0003__A_R_0013_0004__PRESENT)
& has_r_0013_0005__from(R_0013_0003__A_R_0013_0004__PRESENT,R_0013_0006__A_R_0013_0009__WORLD)
& r_0013_0006__a_r_0013_0009__world(R_0013_0006__A_R_0013_0009__WORLD)
& has_attrib21(R_0013_0006__A_R_0013_0009__WORLD,R_0013_0008__DISTANT)
& has_attrib18(R_0013_0006__A_R_0013_0009__WORLD,R_0013_0007__SMALL)
& r_0013_0002__is(R_0013_0002__IS)
& has_prd(R_0013_0002__IS,R_0013_0003__A_R_0013_0004__PRESENT)
& has_arg0(R_0013_0002__IS,R_0013_0001__THIS) ) ).
( (IP-MAT (NP-SBJ (D;_nphd_ This;{this}))
(BEP;_Ln_ is;{be})
(NP-PRD (D a;{a})
(N present;{present})
(PP (P-ROLE from;{from})
(NP (D a;{a})
(ADJP (ADJ small;{small}))
(ADJP (ADJ distant;{distant}))
(N world;{world})))
(PUNC ,)
(IP-PPL (NP-PRD (D a;{a})
(N token;{token})
(PP (P-ROLE of;{of})
(NP (NLYR (NLYR (NP-GEN;{HUMANS} (PRO;_genm_ our;{our}))
(NS sounds;{sound}))
(PUNC ,)
(CONJP (NLYR (NP-GEN;{HUMANS} (PRO;_genm_ our;{our}))
(N science;{science})))
(PUNC ,)
(CONJP (NLYR (NP-GEN;{HUMANS} (PRO;_genm_ our;{our}))
(NS images;{image})))
(PUNC ,)
(CONJP (NLYR (NP-GEN;{HUMANS} (PRO;_genm_ our;{our}))
(N music;{music})))
(PUNC ,)
(CONJP (NLYR (NP-GEN;{HUMANS} (PRO;_genm_ our;{our}))
(NS thoughts;{thought})))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (NP-GEN;{HUMANS} (PRO;_genm_ our;{our}))
(NS feelings;{feeling})))))))))
(PUNC .))
(ID 13_a_voyager))