arc(r_0010_0001__A_r_0010_0002__damsel, r_0010_0004__a_r_0010_0005__dulcimer, r_0010_0003__with).
arc(r_0010_0011__saw, r_0010_0001__A_r_0010_0002__damsel, arg1).
arc(r_0010_0011__saw, r_0010_0007__a_r_0010_0008__vision, r_0010_0006__In_nim20).
arc(r_0010_0011__saw, r_0010_0009__once, nim25).
arc(r_0010_0011__saw, r_0010_0010__I, arg0).
arc(r_0010_0014__was, r_0010_0001__A_r_0010_0002__damsel, arg0).
arc(r_0010_0014__was, r_0010_0015__an_r_0010_0016__Abyssinian_r_0010_0017__maid, prd).
arc(r_0010_0019__And, r_0010_0014__was, conj1).
arc(r_0010_0019__And, z_000_10_a_coleridge_1798_73, conj2).
arc(r_0010_0022__dulcimer, r_0010_0001__A_r_0010_0002__damsel, gen).
arc(r_0010_0024__played, r_0010_0001__A_r_0010_0002__damsel, arg0).
arc(r_0010_0024__played, r_0010_0022__dulcimer, r_0010_0020__on_clr60).
arc(r_0010_0026__Singing, r_0010_0001__A_r_0010_0002__damsel, arg0).
arc(r_0010_0026__Singing, r_0010_0028__Mount_r_0010_0029__Abora, r_0010_0027__of_clr80).
arc(z_000_10_a_coleridge_1798_2, r_0010_0011__saw, conj1).
arc(z_000_10_a_coleridge_1798_2, r_0010_0019__And, conj2).
arc(z_000_10_a_coleridge_1798_73, r_0010_0024__played, scope).
arc(z_000_10_a_coleridge_1798_73, r_0010_0026__Singing, restriction).

fof(formula,axiom,
    ? [R_0010_0004__A_R_0010_0005__DULCIMER,R_0010_0001__A_R_0010_0002__DAMSEL,R_0010_0007__A_R_0010_0008__VISION,R_0010_0009__ONCE,R_0010_0010__I,R_0010_0011__SAW,R_0010_0015__AN_R_0010_0016__ABYSSINIAN_R_0010_0017__MAID,R_0010_0014__WAS,R_0010_0022__DULCIMER,R_0010_0024__PLAYED,R_0010_0028__MOUNT_R_0010_0029__ABORA,R_0010_0026__SINGING,Z_000_10_A_COLERIDGE_1798_73,R_0010_0019__AND,Z_000_10_A_COLERIDGE_1798_2] :
      ( r_0010_0004__a_r_0010_0005__dulcimer(R_0010_0004__A_R_0010_0005__DULCIMER)
      & r_0010_0007__a_r_0010_0008__vision(R_0010_0007__A_R_0010_0008__VISION)
      & r_0010_0009__once(R_0010_0009__ONCE)
      & r_0010_0010__I(R_0010_0010__I)
      & r_0010_0015__an_r_0010_0016__Abyssinian_r_0010_0017__maid(R_0010_0015__AN_R_0010_0016__ABYSSINIAN_R_0010_0017__MAID)
      & r_0010_0028__Mount_r_0010_0029__Abora(R_0010_0028__MOUNT_R_0010_0029__ABORA)
      & z_000_10_a_coleridge_1798_2(Z_000_10_A_COLERIDGE_1798_2)
      & has_conj2(Z_000_10_A_COLERIDGE_1798_2,R_0010_0019__AND)
      & r_0010_0019__And(R_0010_0019__AND)
      & has_conj2(R_0010_0019__AND,Z_000_10_A_COLERIDGE_1798_73)
      & z_000_10_a_coleridge_1798_73(Z_000_10_A_COLERIDGE_1798_73)
      & has_conj1(Z_000_10_A_COLERIDGE_1798_73,R_0010_0026__SINGING)
      & r_0010_0026__Singing(R_0010_0026__SINGING)
      & has_r_0010_0027__of_clr80(R_0010_0026__SINGING,R_0010_0028__MOUNT_R_0010_0029__ABORA)
      & has_arg0(R_0010_0026__SINGING,R_0010_0001__A_R_0010_0002__DAMSEL)
      & r_0010_0001__A_r_0010_0002__damsel(R_0010_0001__A_R_0010_0002__DAMSEL)
      & has_r_0010_0003__with(R_0010_0001__A_R_0010_0002__DAMSEL,R_0010_0004__A_R_0010_0005__DULCIMER)
      & has_conj2(Z_000_10_A_COLERIDGE_1798_73,R_0010_0024__PLAYED)
      & r_0010_0024__played(R_0010_0024__PLAYED)
      & has_r_0010_0020__on_clr60(R_0010_0024__PLAYED,R_0010_0022__DULCIMER)
      & r_0010_0022__dulcimer(R_0010_0022__DULCIMER)
      & has_gen(R_0010_0022__DULCIMER,R_0010_0001__A_R_0010_0002__DAMSEL)
      & has_arg0(R_0010_0024__PLAYED,R_0010_0001__A_R_0010_0002__DAMSEL)
      & has_conj1(R_0010_0019__AND,R_0010_0014__WAS)
      & r_0010_0014__was(R_0010_0014__WAS)
      & has_prd(R_0010_0014__WAS,R_0010_0015__AN_R_0010_0016__ABYSSINIAN_R_0010_0017__MAID)
      & has_arg0(R_0010_0014__WAS,R_0010_0001__A_R_0010_0002__DAMSEL)
      & has_conj1(Z_000_10_A_COLERIDGE_1798_2,R_0010_0011__SAW)
      & r_0010_0011__saw(R_0010_0011__SAW)
      & has_arg0(R_0010_0011__SAW,R_0010_0010__I)
      & has_nim25(R_0010_0011__SAW,R_0010_0009__ONCE)
      & has_r_0010_0006__In_nim20(R_0010_0011__SAW,R_0010_0007__A_R_0010_0008__VISION)
      & has_arg1(R_0010_0011__SAW,R_0010_0001__A_R_0010_0002__DAMSEL) ) ).

( (IP-MAT (ILYR (ILYR (NP-TPC-OB1;{PERSON} (D A;{a})
                                           (N damsel;{damsel})
                                           (PP (P-ROLE with;{with})
                                               (NP (D a;{a})
                                                   (N dulcimer;{dulcimer}))))
                      (PP-TPC-NIM (P-ROLE In;{in})
                                  (NP (D a;{a})
                                      (N vision;{vision})))
                      (ADVP-TPC-NIM (ADV once;{once}))
                      (NP-SBJ (PRO I;{I}))
                      (VBD;_Tn_ saw;{see}))
                (PUNC :)
                (CONJP (ILYR (ILYR (ILYR (NP-SBJ;{PERSON} (PRO It;{it}))
                                         (BED;_Ln_ was;{be})
                                         (NP-PRD (D an;{an})
                                                 (NPR Abyssinian;{Abyssinian})
                                                 (N maid;{maid})))
                                   (PUNC ,)
                                   (CONJP (CONJ And;{and})
                                          (ILYR (PP-TPC-CLR (P-ROLE on;{on})
                                                            (NP (NP-GEN;{PERSON} (PRO;_genm_ her;{her}))
                                                                (N dulcimer;{dulcimer})))
                                                (NP-SBJ;{PERSON} (PRO she;{she}))
                                                (VBD;_Ipr_ played;{play[on]})
                                                (PUNC ,)
                                                (PP-SCON (IP-PPL2 (VAG;_Ipr_ Singing;{sing[of]})
                                                                  (PP-CLR (P-ROLE of;{of})
                                                                          (NP (NPR Mount;{Mount})
                                                                              (NPR Abora;{Abora})))))))))))
          (PUNC .))
  (ID 10_a_coleridge_1798))