TSPC 11_a_coleridge

11_a_coleridge_1798
Could I revive within me Her symphony and song, To such a deep delight't would win me, That with music loud and long, I would build that dome in air, That sunny dome!

arc(r_0011_0001__Could, r_0011_0003__revive, scope).
arc(r_0011_0003__revive, r_0011_0002__I, arg0).
arc(r_0011_0003__revive, r_0011_0002__I, r_0011_0004__within_nim15).
arc(r_0011_0003__revive, r_0011_0008__and, arg1).
arc(r_0011_0008__and, r_0011_0006__Her, gen).
arc(r_0011_0008__and, r_0011_0007__symphony, conj1).
arc(r_0011_0008__and, r_0011_0009__song, conj2).
arc(r_0011_0013__a_r_0011_0015__delight, r_0011_0012__such, attrib38).
arc(r_0011_0013__a_r_0011_0015__delight, r_0011_0014__deep, attrib43).
arc(r_0011_0017__would, r_0011_0018__win, scope).
arc(r_0011_0018__win, r_0011_0002__I, arg1).
arc(r_0011_0018__win, r_0011_0008__and, arg0).
arc(r_0011_0018__win, r_0011_0013__a_r_0011_0015__delight, r_0011_0011__To_clr37).
arc(r_0011_0021__That, r_0011_0017__would, scope).
arc(r_0011_0021__That, r_0011_0029__would, restriction).
arc(r_0011_0023__music, r_0011_0025__and, attrib73).
arc(r_0011_0025__and, r_0011_0024__loud, conj1).
arc(r_0011_0025__and, r_0011_0026__long, conj2).
arc(r_0011_0029__would, r_0011_0023__music, r_0011_0022__with_nim70).
arc(r_0011_0029__would, r_0011_0030__build, scope).
arc(r_0011_0030__build, r_0011_0002__I, arg0).
arc(r_0011_0030__build, r_0011_0031__that_r_0011_0032__dome, arg1).
arc(r_0011_0031__that_r_0011_0032__dome, r_0011_0034__air, r_0011_0033__in).
arc(z_000_11_a_coleridge_1798_2, r_0011_0001__Could, restriction).
arc(z_000_11_a_coleridge_1798_2, r_0011_0021__That, scope).

fof(formula,axiom,
    ? [Z_11_A_COLERIDGE_1798_2,R_11_1_COULD_REVIVE,R_11_21_THAT,R_11_29_WOULD_BUILD,R_11_31_THAT_DOME,R_11_34_AIR,R_11_23_MUSIC,R_11_25_AND,R_11_24_LOUD,R_11_26_LONG,R_11_17_WOULD_WIN,R_11_8_AND,R_11_7_SYMPHONY,R_11_9_SONG,R_11_6_HER,R_11_2_I,R_11_13_A_DELIGHT,R_11_12_SUCH,R_11_14_DEEP] :
      ( air(R_11_34_AIR)
      & loud(R_11_24_LOUD)
      & long(R_11_26_LONG)
      & symphony(R_11_7_SYMPHONY)
      & song(R_11_9_SONG)
      & her(R_11_6_HER)
      & i(R_11_2_I)
      & such(R_11_12_SUCH)
      & deep(R_11_14_DEEP)
      & z_11_a_coleridge_1798_2(Z_11_A_COLERIDGE_1798_2)
      & conj1(Z_11_A_COLERIDGE_1798_2,R_11_1_COULD_REVIVE)
      & could_revive(R_11_1_COULD_REVIVE,R_11_2_I,R_11_8_AND)
      & and(R_11_8_AND)
      & conj1(R_11_8_AND,R_11_7_SYMPHONY)
      & conj2(R_11_8_AND,R_11_9_SONG)
      & gen(R_11_8_AND,R_11_6_HER)
      & within_nim15(R_11_1_COULD_REVIVE,R_11_2_I)
      & conj2(Z_11_A_COLERIDGE_1798_2,R_11_21_THAT)
      & that(R_11_21_THAT)
      & conj1(R_11_21_THAT,R_11_29_WOULD_BUILD)
      & would_build(R_11_29_WOULD_BUILD,R_11_2_I,R_11_31_THAT_DOME)
      & that_dome(R_11_31_THAT_DOME)
      & in(R_11_31_THAT_DOME,R_11_34_AIR)
      & with_nim70(R_11_29_WOULD_BUILD,R_11_23_MUSIC)
      & music(R_11_23_MUSIC)
      & attrib73(R_11_23_MUSIC,R_11_25_AND)
      & and(R_11_25_AND)
      & conj1(R_11_25_AND,R_11_24_LOUD)
      & conj2(R_11_25_AND,R_11_26_LONG)
      & conj2(R_11_21_THAT,R_11_17_WOULD_WIN)
      & would_win(R_11_17_WOULD_WIN,R_11_8_AND,R_11_2_I)
      & to_clr37(R_11_17_WOULD_WIN,R_11_13_A_DELIGHT)
      & a_delight(R_11_13_A_DELIGHT)
      & attrib38(R_11_13_A_DELIGHT,R_11_12_SUCH)
      & attrib43(R_11_13_A_DELIGHT,R_11_14_DEEP) ) ).

( (IP-MAT (PP-SCON-CND (IP-ADV (MD;_cat_Vi_ Could;{can})
                               (NP-SBJ (PRO I;{I}))
                               (IP-INF-CAT (VB;_Tn_ revive;{revive})
                                           (PP-NIM (P-ROLE within;{within})
                                                   (NP (PRO me;{I})))
                                           (NP-OB1;{MUSIC} (NP-GEN;{PERSON} (PRO;_genm_ Her;{her}))
                                                           (NLYR (NLYR (N symphony;{symphony}))
                                                                 (CONJP (CONJ and;{and})
                                                                        (NLYR (N song;{song}))))))))
          (PUNC ,)
          (PP-TPC-177 (P-ROLE To;{to})
                      (NP (ADJP (ADJ;_such_ such;{such}))
                          (D a;{a})
                          (ADJP (ADJ deep;{deep}))
                          (N delight;{delight})))
          (NP-SBJ;{MUSIC} (PRO <apos>t;{it}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (VB;_Tn.pr_ win;{win[to]})
                      (NP-OB1 (PRO me;{I}))
                      (PP-CLR *ICH*-177))
          (PUNC ,)
          (PP-SCON (P-CONN That;{that})
                   (IP-ADV (PP-NIM (P-ROLE with;{with})
                                   (NP (N music;{music})
                                       (ADJP (AJLYR (AJLYR (ADJ loud;{loud}))
                                                    (CONJP (CONJ and;{and})
                                                           (AJLYR (ADJ long;{long})))))))
                           (PUNC ,)
                           (NP-SBJ (PRO I;{I}))
                           (MD;_cat_Vi_ would;{will})
                           (IP-INF-CAT (VB;_Tn_ build;{build})
                                       (NP-OB1 (D that;{that})
                                               (N dome;{dome})
                                               (PP (P-ROLE in;{in})
                                                   (NP (N air;{air}))))
                                       (PUNC ,)
                                       (REP (NP-OB1 (D That;{that})
                                                    (ADJP (ADJ sunny;{sunny}))
                                                    (N dome;{dome}))))))
          (PUNC !))
  (ID 11_a_coleridge_1798))