TSPC 10_a_coleridge

10_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! those caves of ice!

( (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 ,)
                                               (PRN (NP;{DOME+CAVES} (NLYR (NLYR (D That;{that})
                                                                                 (ADJP (ADJ sunny;{sunny}))
                                                                                 (N dome;{dome})
                                                                                 (PUNC !))
                                                                           (CONJP (NLYR (D those;{those})
                                                                                        (NS caves;{cave})
                                                                                        (PP (P-ROLE of;{of})
                                                                                            (NP (N ice;{ice}))))))))))))
          (PUNC !))
  (ID 10_a_coleridge_1798))

arc(r_0010_0001__Could,r_0010_0003__revive,scope).
arc(r_0010_0003__revive,r_0010_0002__I,arg0).
arc(r_0010_0003__revive,r_0010_0002__I,r_0010_0004__within__nim).
arc(r_0010_0003__revive,r_0010_0008__and,arg1).
arc(r_0010_0008__and,r_0010_0006__Her,gen).
arc(r_0010_0008__and,r_0010_0007__symphony,conj1).
arc(r_0010_0008__and,r_0010_0009__song,conj2).
arc(r_0010_0013__a_r_0010_0015__delight,r_0010_0012__such,attrib).
arc(r_0010_0013__a_r_0010_0015__delight,r_0010_0014__deep,attrib).
arc(r_0010_0017__would,r_0010_0018__win_r_0010_0011__To,scope).
arc(r_0010_0018__win_r_0010_0011__To,r_0010_0002__I,arg1).
arc(r_0010_0018__win_r_0010_0011__To,r_0010_0008__and,arg0).
arc(r_0010_0018__win_r_0010_0011__To,r_0010_0013__a_r_0010_0015__delight,arg2).
arc(r_0010_0021__That,r_0010_0017__would,scope).
arc(r_0010_0021__That,r_0010_0029__would,restriction).
arc(r_0010_0023__music,r_0010_0025__and,attrib).
arc(r_0010_0025__and,r_0010_0024__loud,conj1).
arc(r_0010_0025__and,r_0010_0026__long,conj2).
arc(r_0010_0029__would,r_0010_0023__music,r_0010_0022__with__nim).
arc(r_0010_0029__would,r_0010_0030__build,scope).
arc(r_0010_0030__build,r_0010_0002__I,arg0).
arc(r_0010_0030__build,r_0010_0031__that_r_0010_0032__dome,arg1).
arc(r_0010_0031__that_r_0010_0032__dome,r_0010_0034__air,r_0010_0033__in).
arc(r_0010_0036__That_r_0010_0038__dome,r_0010_0037__sunny,attrib).
arc(r_0010_0040__those_r_0010_0041__caves,r_0010_0043__ice,r_0010_0042__of).
arc(z_0010_5001__cnd,r_0010_0001__Could,restriction).
arc(z_0010_5001__cnd,r_0010_0021__That,scope).
arc(z_0010_5028,r_0010_0036__That_r_0010_0038__dome,conj1).
arc(z_0010_5028,r_0010_0040__those_r_0010_0041__caves,conj2).
arc(z_0010_5029,r_0010_0031__that_r_0010_0032__dome,arg0).
arc(z_0010_5029,z_0010_5028,prd).

fof(formula,axiom,
    ? [R_0010_0002__I,R_0010_0006__HER,R_0010_0007__SYMPHONY,R_0010_0009__SONG,R_0010_0008__AND,R_0010_0001__COULD_R_0010_0003__REVIVE,R_0010_0012__SUCH,R_0010_0014__DEEP,R_0010_0013__A_R_0010_0015__DELIGHT,R_0010_0017__WOULD_R_0010_0018__WIN_R_0010_0011__TO,R_0010_0024__LOUD,R_0010_0026__LONG,R_0010_0025__AND,R_0010_0023__MUSIC,R_0010_0034__AIR,R_0010_0031__THAT_R_0010_0032__DOME,R_0010_0029__WOULD_R_0010_0030__BUILD,R_0010_0021__THAT,Z_0010_5001__CND,R_0010_0037__SUNNY,R_0010_0036__THAT_R_0010_0038__DOME,R_0010_0043__ICE,R_0010_0040__THOSE_R_0010_0041__CAVES,Z_0010_5028,Z_0010_5029] :
      ( r_0010_0002__I(R_0010_0002__I)
      & r_0010_0006__Her(R_0010_0006__HER)
      & r_0010_0007__symphony(R_0010_0007__SYMPHONY)
      & r_0010_0009__song(R_0010_0009__SONG)
      & r_0010_0012__such(R_0010_0012__SUCH)
      & r_0010_0014__deep(R_0010_0014__DEEP)
      & r_0010_0024__loud(R_0010_0024__LOUD)
      & r_0010_0026__long(R_0010_0026__LONG)
      & r_0010_0034__air(R_0010_0034__AIR)
      & r_0010_0037__sunny(R_0010_0037__SUNNY)
      & r_0010_0043__ice(R_0010_0043__ICE)
      & z_0010_5029(Z_0010_5029)
      & has_prd(Z_0010_5029,Z_0010_5028)
      & z_0010_5028(Z_0010_5028)
      & has_conj2(Z_0010_5028,R_0010_0040__THOSE_R_0010_0041__CAVES)
      & r_0010_0040__those_r_0010_0041__caves(R_0010_0040__THOSE_R_0010_0041__CAVES)
      & has_r_0010_0042__of(R_0010_0040__THOSE_R_0010_0041__CAVES,R_0010_0043__ICE)
      & has_conj1(Z_0010_5028,R_0010_0036__THAT_R_0010_0038__DOME)
      & r_0010_0036__That_r_0010_0038__dome(R_0010_0036__THAT_R_0010_0038__DOME)
      & has_attrib(R_0010_0036__THAT_R_0010_0038__DOME,R_0010_0037__SUNNY)
      & has_arg0(Z_0010_5029,R_0010_0031__THAT_R_0010_0032__DOME)
      & r_0010_0031__that_r_0010_0032__dome(R_0010_0031__THAT_R_0010_0032__DOME)
      & has_r_0010_0033__in(R_0010_0031__THAT_R_0010_0032__DOME,R_0010_0034__AIR)
      & z_0010_5001__cnd(Z_0010_5001__CND)
      & has_conj2(Z_0010_5001__CND,R_0010_0021__THAT)
      & r_0010_0021__That(R_0010_0021__THAT)
      & has_conj1(R_0010_0021__THAT,R_0010_0029__WOULD_R_0010_0030__BUILD)
      & r_0010_0029__would_r_0010_0030__build(R_0010_0029__WOULD_R_0010_0030__BUILD)
      & has_arg1(R_0010_0029__WOULD_R_0010_0030__BUILD,R_0010_0031__THAT_R_0010_0032__DOME)
      & has_arg0(R_0010_0029__WOULD_R_0010_0030__BUILD,R_0010_0002__I)
      & has_r_0010_0022__with__nim(R_0010_0029__WOULD_R_0010_0030__BUILD,R_0010_0023__MUSIC)
      & r_0010_0023__music(R_0010_0023__MUSIC)
      & has_attrib(R_0010_0023__MUSIC,R_0010_0025__AND)
      & r_0010_0025__and(R_0010_0025__AND)
      & has_conj2(R_0010_0025__AND,R_0010_0026__LONG)
      & has_conj1(R_0010_0025__AND,R_0010_0024__LOUD)
      & has_conj2(R_0010_0021__THAT,R_0010_0017__WOULD_R_0010_0018__WIN_R_0010_0011__TO)
      & r_0010_0017__would_r_0010_0018__win_r_0010_0011__To(R_0010_0017__WOULD_R_0010_0018__WIN_R_0010_0011__TO)
      & has_arg2(R_0010_0017__WOULD_R_0010_0018__WIN_R_0010_0011__TO,R_0010_0013__A_R_0010_0015__DELIGHT)
      & r_0010_0013__a_r_0010_0015__delight(R_0010_0013__A_R_0010_0015__DELIGHT)
      & has_attrib(R_0010_0013__A_R_0010_0015__DELIGHT,R_0010_0014__DEEP)
      & has_attrib(R_0010_0013__A_R_0010_0015__DELIGHT,R_0010_0012__SUCH)
      & has_arg0(R_0010_0017__WOULD_R_0010_0018__WIN_R_0010_0011__TO,R_0010_0008__AND)
      & r_0010_0008__and(R_0010_0008__AND)
      & has_conj2(R_0010_0008__AND,R_0010_0009__SONG)
      & has_conj1(R_0010_0008__AND,R_0010_0007__SYMPHONY)
      & has_gen(R_0010_0008__AND,R_0010_0006__HER)
      & has_arg1(R_0010_0017__WOULD_R_0010_0018__WIN_R_0010_0011__TO,R_0010_0002__I)
      & has_conj1(Z_0010_5001__CND,R_0010_0001__COULD_R_0010_0003__REVIVE)
      & r_0010_0001__Could_r_0010_0003__revive(R_0010_0001__COULD_R_0010_0003__REVIVE)
      & has_arg1(R_0010_0001__COULD_R_0010_0003__REVIVE,R_0010_0008__AND)
      & has_r_0010_0004__within__nim(R_0010_0001__COULD_R_0010_0003__REVIVE,R_0010_0002__I)
      & has_arg0(R_0010_0001__COULD_R_0010_0003__REVIVE,R_0010_0002__I) ) ).