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_13_2_IS,R_13_1_THIS,Z_13_A_VOYAGER_28,R_13_3_A_PRESENT,R_13_6_A_WORLD,R_13_7_SMALL,R_13_8_DISTANT,R_13_11_A_TOKEN,R_13_29_AND,R_13_15_SOUNDS,R_13_14_OUR,R_13_18_SCIENCE,R_13_17_OUR,R_13_21_IMAGES,R_13_20_OUR,R_13_24_MUSIC,R_13_23_OUR,R_13_27_THOUGHTS,R_13_26_OUR,R_13_31_FEELINGS,R_13_30_OUR] :
( this(R_13_1_THIS)
& small(R_13_7_SMALL)
& distant(R_13_8_DISTANT)
& our(R_13_14_OUR)
& our(R_13_17_OUR)
& our(R_13_20_OUR)
& our(R_13_23_OUR)
& our(R_13_26_OUR)
& our(R_13_30_OUR)
& is(R_13_2_IS,R_13_1_THIS,R_13_3_A_PRESENT)
& a_present(R_13_3_A_PRESENT)
& from(R_13_3_A_PRESENT,R_13_6_A_WORLD)
& a_world(R_13_6_A_WORLD)
& attrib18(R_13_6_A_WORLD,R_13_7_SMALL)
& attrib21(R_13_6_A_WORLD,R_13_8_DISTANT)
& z_13_a_voyager_28(Z_13_A_VOYAGER_28,R_13_3_A_PRESENT,R_13_11_A_TOKEN)
& a_token(R_13_11_A_TOKEN)
& of(R_13_11_A_TOKEN,R_13_29_AND)
& and(R_13_29_AND)
& conj1(R_13_29_AND,R_13_15_SOUNDS)
& sounds(R_13_15_SOUNDS)
& gen(R_13_15_SOUNDS,R_13_14_OUR)
& conj2(R_13_29_AND,R_13_18_SCIENCE)
& science(R_13_18_SCIENCE)
& gen(R_13_18_SCIENCE,R_13_17_OUR)
& conj3(R_13_29_AND,R_13_21_IMAGES)
& images(R_13_21_IMAGES)
& gen(R_13_21_IMAGES,R_13_20_OUR)
& conj4(R_13_29_AND,R_13_24_MUSIC)
& music(R_13_24_MUSIC)
& gen(R_13_24_MUSIC,R_13_23_OUR)
& conj5(R_13_29_AND,R_13_27_THOUGHTS)
& thoughts(R_13_27_THOUGHTS)
& gen(R_13_27_THOUGHTS,R_13_26_OUR)
& conj6(R_13_29_AND,R_13_31_FEELINGS)
& feelings(R_13_31_FEELINGS)
& gen(R_13_31_FEELINGS,R_13_30_OUR) ) ).
( (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))