( (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 ,)
                  (PRN (NP (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))

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,attrib).
arc(r_0013_0006__a_r_0013_0009__world,r_0013_0008__distant,attrib).
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_0014__our,gen).
arc(r_0013_0021__images,r_0013_0014__our,gen).
arc(r_0013_0024__music,r_0013_0014__our,gen).
arc(r_0013_0027__thoughts,r_0013_0014__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_0014__our,gen).
arc(z_0013_5018,r_0013_0003__a_r_0013_0004__present,arg0).
arc(z_0013_5018,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_0018__SCIENCE,R_0013_0021__IMAGES,R_0013_0024__MUSIC,R_0013_0027__THOUGHTS,R_0013_0031__FEELINGS,R_0013_0029__AND,R_0013_0011__A_R_0013_0012__TOKEN,Z_0013_5018] :
      ( 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)
      & z_0013_5018(Z_0013_5018)
      & has_prd(Z_0013_5018,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_0014__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_0014__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_0014__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_0014__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_0014__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_0013_5018,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_attrib(R_0013_0006__A_R_0013_0009__WORLD,R_0013_0008__DISTANT)
      & has_attrib(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) ) ).