TSPC 5_a_coleridge

5_a_coleridge_1798
And from this chasm, with ceaseless turmoil seething, As if this earth in fast thick pants were breathing, A mighty fountain momently was forced: Amid whose swift half-intermitted burst Huge fragments vaulted like rebounding hail, Or chaffy grain beneath the thresher's flail: And'mid these dancing rocks at once and ever It flung up momently the sacred river.

( (IP-MAT (ILYR (ILYR (CONJ;_cl_ And;{and})
                      (PP-NIM (P-ROLE from;{from})
                              (NP;{CHASM} (D this;{this})
                                          (N chasm;{chasm})))
                      (PUNC ,)
                      (PP-SCON (IP-PPL2 (PP-NIM (P-ROLE with;{with})
                                                (NP (ADJP (ADJ ceaseless;{ceaseless}))
                                                    (N turmoil;{turmoil})))
                                        (VAG;_I_ seething;{seethe})))
                      (PUNC ,)
                      (PP-SCON (P-CONN As_if;{as_if})
                               (IP-ADV (NP-SBJ (D this;{this})
                                               (N earth;{earth}))
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (ADJP (ADJ fast;{fast}))
                                                   (ADJP (ADJ thick;{thick}))
                                                   (NS pants;{pant})))
                                       (BED;_cat_Vg_ were;{be})
                                       (IP-PPL-CAT (VAG;_I_ breathing;{breathe}))))
                      (PUNC ,)
                      (NP-SBJ;{FOUNTAIN} (D A;{a})
                                         (ADJP (ADJ mighty;{mighty}))
                                         (N fountain;{fountain})
                                         (IP-REL *ICH*-171))
                      (ADVP-NIM (ADV momently;{momently}))
                      (BED;_cat_VePASS_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ forced;{force}))
                      (PUNC :)
                      (IP-REL-EPD-171 (PP-NIM (P-ROLE Amid;{amid})
                                              (NP (NP-GEN (RPRO;_genm_ whose;{whose}))
                                                  (ADJP (ADJ swift;{swift}))
                                                  (ADJP (ADJ half_<hyphen>_intermitted;{half_intermitted}))
                                                  (N burst;{burst})))
                                      (NP-SBJ (ADJP (ADJ Huge;{huge}))
                                              (NS fragments;{fragment}))
                                      (VBD;_I_ vaulted;{vault})
                                      (PP-NIM (P-ROLE like;{like})
                                              (NP (NLYR (NLYR (ADJP (ADJ rebounding;{rebounding}))
                                                              (N hail;{hail}))
                                                        (PUNC ,)
                                                        (CONJP (CONJ Or;{or})
                                                               (NLYR (ADJP (ADJ chaffy;{chaffy}))
                                                                     (N grain;{grain})
                                                                     (PP (P-ROLE beneath;{beneath})
                                                                         (NP (NP-GEN (D the;{the})
                                                                                     (N thresher;{thresher})
                                                                                     (GENM <apos>s))
                                                                             (N flail;{flail}))))))))))
                (PUNC :)
                (CONJP (CONJ And;{and})
                       (ILYR (PP-NIM (P-ROLE <apos>mid;{amid})
                                     (NP (D these;{these})
                                         (N dancing;{dancing})
                                         (NS rocks;{rock})))
                             (ADVP-NIM (AVLYR (AVLYR (ADV at_once;{at_once}))
                                              (CONJP (CONJ and;{and})
                                                     (AVLYR (ADV ever;{ever})))))
                             (NP-SBJ;{FOUNTAIN} (PRO It;{it}))
                             (VBD;_phr_Vn<=>p_ flung;{fling[up]})
                             (RP up;{up})
                             (ADVP-NIM (ADV momently;{momently}))
                             (NP-OB1;{RIVER} (D the;{the})
                                             (ADJP (ADJ sacred;{sacred}))
                                             (N river;{river})))))
          (PUNC .))
  (ID 5_a_coleridge_1798))

arc(r_0005_0008__turmoil,r_0005_0007__ceaseless,attrib).
arc(r_0005_0009__seething,r_0005_0008__turmoil,r_0005_0006__with__nim).
arc(r_0005_0009__seething,r_0005_0021__A_r_0005_0023__fountain,arg0).
arc(r_0005_0011__As_if,r_0005_0018__were,restriction).
arc(r_0005_0011__As_if,z_0005_5025,scope).
arc(r_0005_0017__pants,r_0005_0015__fast,attrib).
arc(r_0005_0017__pants,r_0005_0016__thick,attrib).
arc(r_0005_0018__were,r_0005_0017__pants,r_0005_0014__in__nim).
arc(r_0005_0018__were,r_0005_0019__breathing,scope).
arc(r_0005_0019__breathing,r_0005_0012__this_r_0005_0013__earth,arg0).
arc(r_0005_0021__A_r_0005_0023__fountain,r_0005_0022__mighty,attrib).
arc(r_0005_0025__was,r_0005_0003__this_r_0005_0004__chasm,r_0005_0002__from__nim).
arc(r_0005_0025__was,r_0005_0024__momently,nim).
arc(r_0005_0025__was,r_0005_0026__forced,scope).
arc(r_0005_0026__forced,r_0005_0021__A_r_0005_0023__fountain,arg1).
arc(r_0005_0026__forced,z_0005_5032___star_,arg0).
arc(r_0005_0032__burst,r_0005_0021__A_r_0005_0023__fountain,gen).
arc(r_0005_0032__burst,r_0005_0030__swift,attrib).
arc(r_0005_0032__burst,r_0005_0031__half__hyphen__intermitted,attrib).
arc(r_0005_0034__fragments,r_0005_0033__Huge,attrib).
arc(r_0005_0035__vaulted,r_0005_0032__burst,r_0005_0028__Amid__nim).
arc(r_0005_0035__vaulted,r_0005_0034__fragments,arg0).
arc(r_0005_0035__vaulted,r_0005_0040__Or,r_0005_0036__like__nim).
arc(r_0005_0038__hail,r_0005_0037__rebounding,attrib).
arc(r_0005_0040__Or,r_0005_0038__hail,conj1).
arc(r_0005_0040__Or,r_0005_0042__grain,conj2).
arc(r_0005_0042__grain,r_0005_0041__chaffy,attrib).
arc(r_0005_0042__grain,r_0005_0047__flail,r_0005_0043__beneath).
arc(r_0005_0047__flail,r_0005_0044__the_r_0005_0045__thresher,gen).
arc(r_0005_0049__And,r_0005_0011__As_if,conj1).
arc(r_0005_0049__And,r_0005_0058__flung_r_0005_0059__up,conj2).
arc(r_0005_0055__and,r_0005_0054__at_once,conj1).
arc(r_0005_0055__and,r_0005_0056__ever,conj2).
arc(r_0005_0058__flung_r_0005_0059__up,r_0005_0021__A_r_0005_0023__fountain,arg0).
arc(r_0005_0058__flung_r_0005_0059__up,r_0005_0051__these_r_0005_0052__dancing_r_0005_0053__rocks,r_0005_0050___apos_mid__nim).
arc(r_0005_0058__flung_r_0005_0059__up,r_0005_0055__and,nim).
arc(r_0005_0058__flung_r_0005_0059__up,r_0005_0060__momently,nim).
arc(r_0005_0058__flung_r_0005_0059__up,r_0005_0061__the_r_0005_0063__river,arg1).
arc(r_0005_0061__the_r_0005_0063__river,r_0005_0062__sacred,attrib).
arc(z_0005_5025,r_0005_0009__seething,restriction).
arc(z_0005_5025,r_0005_0025__was,scope).

fof(formula,axiom,
    ? [R_0005_0022__MIGHTY,R_0005_0021__A_R_0005_0023__FOUNTAIN,R_0005_0030__SWIFT,R_0005_0031__HALF__HYPHEN__INTERMITTED,R_0005_0032__BURST,R_0005_0033__HUGE,R_0005_0034__FRAGMENTS,R_0005_0037__REBOUNDING,R_0005_0038__HAIL,R_0005_0041__CHAFFY,R_0005_0044__THE_R_0005_0045__THRESHER,R_0005_0047__FLAIL,R_0005_0042__GRAIN,R_0005_0040__OR,R_0005_0035__VAULTED,R_0005_0015__FAST,R_0005_0016__THICK,R_0005_0017__PANTS,R_0005_0012__THIS_R_0005_0013__EARTH,R_0005_0018__WERE_R_0005_0019__BREATHING,R_0005_0007__CEASELESS,R_0005_0008__TURMOIL,R_0005_0009__SEETHING,R_0005_0003__THIS_R_0005_0004__CHASM,R_0005_0024__MOMENTLY,Z_0005_5032___STAR_,R_0005_0025__WAS_R_0005_0026__FORCED,Z_0005_5025,R_0005_0011__AS_IF,R_0005_0051__THESE_R_0005_0052__DANCING_R_0005_0053__ROCKS,R_0005_0054__AT_ONCE,R_0005_0056__EVER,R_0005_0055__AND,R_0005_0060__MOMENTLY,R_0005_0062__SACRED,R_0005_0061__THE_R_0005_0063__RIVER,R_0005_0058__FLUNG_R_0005_0059__UP,R_0005_0049__AND] :
      ( r_0005_0003__this_r_0005_0004__chasm(R_0005_0003__THIS_R_0005_0004__CHASM)
      & r_0005_0007__ceaseless(R_0005_0007__CEASELESS)
      & r_0005_0012__this_r_0005_0013__earth(R_0005_0012__THIS_R_0005_0013__EARTH)
      & r_0005_0015__fast(R_0005_0015__FAST)
      & r_0005_0016__thick(R_0005_0016__THICK)
      & r_0005_0022__mighty(R_0005_0022__MIGHTY)
      & r_0005_0024__momently(R_0005_0024__MOMENTLY)
      & r_0005_0030__swift(R_0005_0030__SWIFT)
      & r_0005_0031__half__hyphen__intermitted(R_0005_0031__HALF__HYPHEN__INTERMITTED)
      & r_0005_0033__Huge(R_0005_0033__HUGE)
      & r_0005_0037__rebounding(R_0005_0037__REBOUNDING)
      & r_0005_0041__chaffy(R_0005_0041__CHAFFY)
      & r_0005_0044__the_r_0005_0045__thresher(R_0005_0044__THE_R_0005_0045__THRESHER)
      & r_0005_0051__these_r_0005_0052__dancing_r_0005_0053__rocks(R_0005_0051__THESE_R_0005_0052__DANCING_R_0005_0053__ROCKS)
      & r_0005_0054__at_once(R_0005_0054__AT_ONCE)
      & r_0005_0056__ever(R_0005_0056__EVER)
      & r_0005_0060__momently(R_0005_0060__MOMENTLY)
      & r_0005_0062__sacred(R_0005_0062__SACRED)
      & z_0005_5032___star_(Z_0005_5032___STAR_)
      & r_0005_0049__And(R_0005_0049__AND)
      & has_conj2(R_0005_0049__AND,R_0005_0058__FLUNG_R_0005_0059__UP)
      & r_0005_0058__flung_r_0005_0059__up(R_0005_0058__FLUNG_R_0005_0059__UP)
      & has_arg1(R_0005_0058__FLUNG_R_0005_0059__UP,R_0005_0061__THE_R_0005_0063__RIVER)
      & r_0005_0061__the_r_0005_0063__river(R_0005_0061__THE_R_0005_0063__RIVER)
      & has_attrib(R_0005_0061__THE_R_0005_0063__RIVER,R_0005_0062__SACRED)
      & has_nim(R_0005_0058__FLUNG_R_0005_0059__UP,R_0005_0060__MOMENTLY)
      & has_nim(R_0005_0058__FLUNG_R_0005_0059__UP,R_0005_0055__AND)
      & r_0005_0055__and(R_0005_0055__AND)
      & has_conj2(R_0005_0055__AND,R_0005_0056__EVER)
      & has_conj1(R_0005_0055__AND,R_0005_0054__AT_ONCE)
      & has_r_0005_0050___apos_mid__nim(R_0005_0058__FLUNG_R_0005_0059__UP,R_0005_0051__THESE_R_0005_0052__DANCING_R_0005_0053__ROCKS)
      & has_arg0(R_0005_0058__FLUNG_R_0005_0059__UP,R_0005_0021__A_R_0005_0023__FOUNTAIN)
      & r_0005_0021__A_r_0005_0023__fountain(R_0005_0021__A_R_0005_0023__FOUNTAIN)
      & has_attrib(R_0005_0021__A_R_0005_0023__FOUNTAIN,R_0005_0022__MIGHTY)
      & has_conj1(R_0005_0049__AND,R_0005_0011__AS_IF)
      & r_0005_0011__As_if(R_0005_0011__AS_IF)
      & has_conj2(R_0005_0011__AS_IF,Z_0005_5025)
      & z_0005_5025(Z_0005_5025)
      & has_conj2(Z_0005_5025,R_0005_0025__WAS_R_0005_0026__FORCED)
      & r_0005_0025__was_r_0005_0026__forced(R_0005_0025__WAS_R_0005_0026__FORCED)
      & has_arg0(R_0005_0025__WAS_R_0005_0026__FORCED,Z_0005_5032___STAR_)
      & has_arg1(R_0005_0025__WAS_R_0005_0026__FORCED,R_0005_0021__A_R_0005_0023__FOUNTAIN)
      & has_nim(R_0005_0025__WAS_R_0005_0026__FORCED,R_0005_0024__MOMENTLY)
      & has_r_0005_0002__from__nim(R_0005_0025__WAS_R_0005_0026__FORCED,R_0005_0003__THIS_R_0005_0004__CHASM)
      & has_conj1(Z_0005_5025,R_0005_0009__SEETHING)
      & r_0005_0009__seething(R_0005_0009__SEETHING)
      & has_arg0(R_0005_0009__SEETHING,R_0005_0021__A_R_0005_0023__FOUNTAIN)
      & has_r_0005_0006__with__nim(R_0005_0009__SEETHING,R_0005_0008__TURMOIL)
      & r_0005_0008__turmoil(R_0005_0008__TURMOIL)
      & has_attrib(R_0005_0008__TURMOIL,R_0005_0007__CEASELESS)
      & has_conj1(R_0005_0011__AS_IF,R_0005_0018__WERE_R_0005_0019__BREATHING)
      & r_0005_0018__were_r_0005_0019__breathing(R_0005_0018__WERE_R_0005_0019__BREATHING)
      & has_arg0(R_0005_0018__WERE_R_0005_0019__BREATHING,R_0005_0012__THIS_R_0005_0013__EARTH)
      & has_r_0005_0014__in__nim(R_0005_0018__WERE_R_0005_0019__BREATHING,R_0005_0017__PANTS)
      & r_0005_0017__pants(R_0005_0017__PANTS)
      & has_attrib(R_0005_0017__PANTS,R_0005_0016__THICK)
      & has_attrib(R_0005_0017__PANTS,R_0005_0015__FAST)
      & r_0005_0035__vaulted(R_0005_0035__VAULTED)
      & has_r_0005_0036__like__nim(R_0005_0035__VAULTED,R_0005_0040__OR)
      & r_0005_0040__Or(R_0005_0040__OR)
      & has_conj2(R_0005_0040__OR,R_0005_0042__GRAIN)
      & r_0005_0042__grain(R_0005_0042__GRAIN)
      & has_r_0005_0043__beneath(R_0005_0042__GRAIN,R_0005_0047__FLAIL)
      & r_0005_0047__flail(R_0005_0047__FLAIL)
      & has_gen(R_0005_0047__FLAIL,R_0005_0044__THE_R_0005_0045__THRESHER)
      & has_attrib(R_0005_0042__GRAIN,R_0005_0041__CHAFFY)
      & has_conj1(R_0005_0040__OR,R_0005_0038__HAIL)
      & r_0005_0038__hail(R_0005_0038__HAIL)
      & has_attrib(R_0005_0038__HAIL,R_0005_0037__REBOUNDING)
      & has_arg0(R_0005_0035__VAULTED,R_0005_0034__FRAGMENTS)
      & r_0005_0034__fragments(R_0005_0034__FRAGMENTS)
      & has_attrib(R_0005_0034__FRAGMENTS,R_0005_0033__HUGE)
      & has_r_0005_0028__Amid__nim(R_0005_0035__VAULTED,R_0005_0032__BURST)
      & r_0005_0032__burst(R_0005_0032__BURST)
      & has_attrib(R_0005_0032__BURST,R_0005_0031__HALF__HYPHEN__INTERMITTED)
      & has_attrib(R_0005_0032__BURST,R_0005_0030__SWIFT)
      & has_gen(R_0005_0032__BURST,R_0005_0021__A_R_0005_0023__FOUNTAIN) ) ).