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,
    ? [R_0011_0002__I,R_0011_0006__HER,R_0011_0007__SYMPHONY,R_0011_0009__SONG,R_0011_0008__AND,R_0011_0001__COULD_R_0011_0003__REVIVE,R_0011_0012__SUCH,R_0011_0014__DEEP,R_0011_0013__A_R_0011_0015__DELIGHT,R_0011_0017__WOULD_R_0011_0018__WIN,R_0011_0024__LOUD,R_0011_0026__LONG,R_0011_0025__AND,R_0011_0023__MUSIC,R_0011_0034__AIR,R_0011_0031__THAT_R_0011_0032__DOME,R_0011_0029__WOULD_R_0011_0030__BUILD,R_0011_0021__THAT,Z_000_11_A_COLERIDGE_1798_2] :
      ( r_0011_0002__I(R_0011_0002__I)
      & r_0011_0006__Her(R_0011_0006__HER)
      & r_0011_0007__symphony(R_0011_0007__SYMPHONY)
      & r_0011_0009__song(R_0011_0009__SONG)
      & r_0011_0012__such(R_0011_0012__SUCH)
      & r_0011_0014__deep(R_0011_0014__DEEP)
      & r_0011_0024__loud(R_0011_0024__LOUD)
      & r_0011_0026__long(R_0011_0026__LONG)
      & r_0011_0034__air(R_0011_0034__AIR)
      & z_000_11_a_coleridge_1798_2(Z_000_11_A_COLERIDGE_1798_2)
      & has_conj2(Z_000_11_A_COLERIDGE_1798_2,R_0011_0021__THAT)
      & r_0011_0021__That(R_0011_0021__THAT)
      & has_conj1(R_0011_0021__THAT,R_0011_0029__WOULD_R_0011_0030__BUILD)
      & r_0011_0029__would_r_0011_0030__build(R_0011_0029__WOULD_R_0011_0030__BUILD)
      & has_arg1(R_0011_0029__WOULD_R_0011_0030__BUILD,R_0011_0031__THAT_R_0011_0032__DOME)
      & r_0011_0031__that_r_0011_0032__dome(R_0011_0031__THAT_R_0011_0032__DOME)
      & has_r_0011_0033__in(R_0011_0031__THAT_R_0011_0032__DOME,R_0011_0034__AIR)
      & has_arg0(R_0011_0029__WOULD_R_0011_0030__BUILD,R_0011_0002__I)
      & has_r_0011_0022__with_nim70(R_0011_0029__WOULD_R_0011_0030__BUILD,R_0011_0023__MUSIC)
      & r_0011_0023__music(R_0011_0023__MUSIC)
      & has_attrib73(R_0011_0023__MUSIC,R_0011_0025__AND)
      & r_0011_0025__and(R_0011_0025__AND)
      & has_conj2(R_0011_0025__AND,R_0011_0026__LONG)
      & has_conj1(R_0011_0025__AND,R_0011_0024__LOUD)
      & has_conj2(R_0011_0021__THAT,R_0011_0017__WOULD_R_0011_0018__WIN)
      & r_0011_0017__would_r_0011_0018__win(R_0011_0017__WOULD_R_0011_0018__WIN)
      & has_r_0011_0011__To_clr37(R_0011_0017__WOULD_R_0011_0018__WIN,R_0011_0013__A_R_0011_0015__DELIGHT)
      & r_0011_0013__a_r_0011_0015__delight(R_0011_0013__A_R_0011_0015__DELIGHT)
      & has_attrib43(R_0011_0013__A_R_0011_0015__DELIGHT,R_0011_0014__DEEP)
      & has_attrib38(R_0011_0013__A_R_0011_0015__DELIGHT,R_0011_0012__SUCH)
      & has_arg0(R_0011_0017__WOULD_R_0011_0018__WIN,R_0011_0008__AND)
      & r_0011_0008__and(R_0011_0008__AND)
      & has_conj2(R_0011_0008__AND,R_0011_0009__SONG)
      & has_conj1(R_0011_0008__AND,R_0011_0007__SYMPHONY)
      & has_gen(R_0011_0008__AND,R_0011_0006__HER)
      & has_arg1(R_0011_0017__WOULD_R_0011_0018__WIN,R_0011_0002__I)
      & has_conj1(Z_000_11_A_COLERIDGE_1798_2,R_0011_0001__COULD_R_0011_0003__REVIVE)
      & r_0011_0001__Could_r_0011_0003__revive(R_0011_0001__COULD_R_0011_0003__REVIVE)
      & has_arg1(R_0011_0001__COULD_R_0011_0003__REVIVE,R_0011_0008__AND)
      & has_r_0011_0004__within_nim15(R_0011_0001__COULD_R_0011_0003__REVIVE,R_0011_0002__I)
      & has_arg0(R_0011_0001__COULD_R_0011_0003__REVIVE,R_0011_0002__I) ) ).

( (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))