TSPC 7_a_coleridge

7_a_coleridge_1798
Five miles meandering with a mazy motion Through wood and dale the sacred river ran, Then reached the caverns measureless to man, And sank in tumult to a lifeless ocean: And'mid this tumult Kubla heard from far Ancestral voices prophesying war!

arc(r_0007_0003__meandering, r_0007_0001__Five_r_0007_0002__miles, nim6).
arc(r_0007_0003__meandering, r_0007_0005__a_r_0007_0007__motion, r_0007_0004__with_nim16).
arc(r_0007_0003__meandering, r_0007_0010__and, r_0007_0008__Through_clr27).
arc(r_0007_0003__meandering, r_0007_0012__the_r_0007_0014__river, arg0).
arc(r_0007_0005__a_r_0007_0007__motion, r_0007_0006__mazy, attrib19).
arc(r_0007_0010__and, r_0007_0009__wood, conj1).
arc(r_0007_0010__and, r_0007_0011__dale, conj2).
arc(r_0007_0012__the_r_0007_0014__river, r_0007_0013__sacred, attrib41).
arc(r_0007_0015__ran, r_0007_0012__the_r_0007_0014__river, arg0).
arc(r_0007_0018__reached, r_0007_0012__the_r_0007_0014__river, arg0).
arc(r_0007_0018__reached, r_0007_0017__Then, nim54).
arc(r_0007_0018__reached, r_0007_0019__the_r_0007_0020__caverns, arg1).
arc(r_0007_0019__the_r_0007_0020__caverns, r_0007_0021__measureless, attrib64).
arc(r_0007_0021__measureless, r_0007_0023__man, r_0007_0022__to).
arc(r_0007_0025__And, r_0007_0015__ran, conj1).
arc(r_0007_0025__And, r_0007_0018__reached, conj2).
arc(r_0007_0025__And, r_0007_0026__sank, conj3).
arc(r_0007_0026__sank, r_0007_0012__the_r_0007_0014__river, arg0).
arc(r_0007_0026__sank, r_0007_0028__tumult, r_0007_0027__in_nim84).
arc(r_0007_0026__sank, r_0007_0030__a_r_0007_0032__ocean, r_0007_0029__to_clr90).
arc(r_0007_0030__a_r_0007_0032__ocean, r_0007_0031__lifeless, attrib93).
arc(r_0007_0034__And, r_0007_0039__heard, conj2).
arc(r_0007_0034__And, z_000_7_a_coleridge_1798_4, conj1).
arc(r_0007_0039__heard, r_0007_0036__this_r_0007_0037__tumult, r_0007_0035___apos_mid_nim107).
arc(r_0007_0039__heard, r_0007_0038__Kubla, arg0).
arc(r_0007_0039__heard, r_0007_0043__voices, r_0007_0040__from_clr120).
arc(r_0007_0042__Ancestral, r_0007_0041__far, qual122).
arc(r_0007_0043__voices, r_0007_0042__Ancestral, attrib121).
arc(r_0007_0044__prophesying, r_0007_0043__voices, arg0).
arc(r_0007_0044__prophesying, r_0007_0045__war, arg1).
arc(z_000_7_a_coleridge_1798_4, r_0007_0003__meandering, restriction).
arc(z_000_7_a_coleridge_1798_4, r_0007_0025__And, scope).

fof(formula,axiom,
    ? [R_0007_0036__THIS_R_0007_0037__TUMULT,R_0007_0038__KUBLA,R_0007_0041__FAR,R_0007_0042__ANCESTRAL,R_0007_0043__VOICES,R_0007_0039__HEARD,R_0007_0001__FIVE_R_0007_0002__MILES,R_0007_0006__MAZY,R_0007_0005__A_R_0007_0007__MOTION,R_0007_0009__WOOD,R_0007_0011__DALE,R_0007_0010__AND,R_0007_0013__SACRED,R_0007_0012__THE_R_0007_0014__RIVER,R_0007_0003__MEANDERING,R_0007_0015__RAN,R_0007_0017__THEN,R_0007_0023__MAN,R_0007_0021__MEASURELESS,R_0007_0019__THE_R_0007_0020__CAVERNS,R_0007_0018__REACHED,R_0007_0028__TUMULT,R_0007_0031__LIFELESS,R_0007_0030__A_R_0007_0032__OCEAN,R_0007_0026__SANK,R_0007_0025__AND,Z_000_7_A_COLERIDGE_1798_4,R_0007_0034__AND,R_0007_0045__WAR,R_0007_0044__PROPHESYING] :
      ( r_0007_0001__Five_r_0007_0002__miles(R_0007_0001__FIVE_R_0007_0002__MILES)
      & r_0007_0006__mazy(R_0007_0006__MAZY)
      & r_0007_0009__wood(R_0007_0009__WOOD)
      & r_0007_0011__dale(R_0007_0011__DALE)
      & r_0007_0013__sacred(R_0007_0013__SACRED)
      & r_0007_0017__Then(R_0007_0017__THEN)
      & r_0007_0023__man(R_0007_0023__MAN)
      & r_0007_0028__tumult(R_0007_0028__TUMULT)
      & r_0007_0031__lifeless(R_0007_0031__LIFELESS)
      & r_0007_0036__this_r_0007_0037__tumult(R_0007_0036__THIS_R_0007_0037__TUMULT)
      & r_0007_0038__Kubla(R_0007_0038__KUBLA)
      & r_0007_0041__far(R_0007_0041__FAR)
      & r_0007_0045__war(R_0007_0045__WAR)
      & r_0007_0044__prophesying(R_0007_0044__PROPHESYING)
      & has_arg1(R_0007_0044__PROPHESYING,R_0007_0045__WAR)
      & has_arg0(R_0007_0044__PROPHESYING,R_0007_0043__VOICES)
      & r_0007_0043__voices(R_0007_0043__VOICES)
      & has_attrib121(R_0007_0043__VOICES,R_0007_0042__ANCESTRAL)
      & r_0007_0042__Ancestral(R_0007_0042__ANCESTRAL)
      & has_qual122(R_0007_0042__ANCESTRAL,R_0007_0041__FAR)
      & r_0007_0034__And(R_0007_0034__AND)
      & has_conj1(R_0007_0034__AND,Z_000_7_A_COLERIDGE_1798_4)
      & z_000_7_a_coleridge_1798_4(Z_000_7_A_COLERIDGE_1798_4)
      & has_conj2(Z_000_7_A_COLERIDGE_1798_4,R_0007_0025__AND)
      & r_0007_0025__And(R_0007_0025__AND)
      & has_conj3(R_0007_0025__AND,R_0007_0026__SANK)
      & r_0007_0026__sank(R_0007_0026__SANK)
      & has_r_0007_0029__to_clr90(R_0007_0026__SANK,R_0007_0030__A_R_0007_0032__OCEAN)
      & r_0007_0030__a_r_0007_0032__ocean(R_0007_0030__A_R_0007_0032__OCEAN)
      & has_attrib93(R_0007_0030__A_R_0007_0032__OCEAN,R_0007_0031__LIFELESS)
      & has_r_0007_0027__in_nim84(R_0007_0026__SANK,R_0007_0028__TUMULT)
      & has_arg0(R_0007_0026__SANK,R_0007_0012__THE_R_0007_0014__RIVER)
      & r_0007_0012__the_r_0007_0014__river(R_0007_0012__THE_R_0007_0014__RIVER)
      & has_attrib41(R_0007_0012__THE_R_0007_0014__RIVER,R_0007_0013__SACRED)
      & has_conj2(R_0007_0025__AND,R_0007_0018__REACHED)
      & r_0007_0018__reached(R_0007_0018__REACHED)
      & has_arg1(R_0007_0018__REACHED,R_0007_0019__THE_R_0007_0020__CAVERNS)
      & r_0007_0019__the_r_0007_0020__caverns(R_0007_0019__THE_R_0007_0020__CAVERNS)
      & has_attrib64(R_0007_0019__THE_R_0007_0020__CAVERNS,R_0007_0021__MEASURELESS)
      & r_0007_0021__measureless(R_0007_0021__MEASURELESS)
      & has_r_0007_0022__to(R_0007_0021__MEASURELESS,R_0007_0023__MAN)
      & has_nim54(R_0007_0018__REACHED,R_0007_0017__THEN)
      & has_arg0(R_0007_0018__REACHED,R_0007_0012__THE_R_0007_0014__RIVER)
      & has_conj1(R_0007_0025__AND,R_0007_0015__RAN)
      & r_0007_0015__ran(R_0007_0015__RAN)
      & has_arg0(R_0007_0015__RAN,R_0007_0012__THE_R_0007_0014__RIVER)
      & has_conj1(Z_000_7_A_COLERIDGE_1798_4,R_0007_0003__MEANDERING)
      & r_0007_0003__meandering(R_0007_0003__MEANDERING)
      & has_arg0(R_0007_0003__MEANDERING,R_0007_0012__THE_R_0007_0014__RIVER)
      & has_r_0007_0008__Through_clr27(R_0007_0003__MEANDERING,R_0007_0010__AND)
      & r_0007_0010__and(R_0007_0010__AND)
      & has_conj2(R_0007_0010__AND,R_0007_0011__DALE)
      & has_conj1(R_0007_0010__AND,R_0007_0009__WOOD)
      & has_r_0007_0004__with_nim16(R_0007_0003__MEANDERING,R_0007_0005__A_R_0007_0007__MOTION)
      & r_0007_0005__a_r_0007_0007__motion(R_0007_0005__A_R_0007_0007__MOTION)
      & has_attrib19(R_0007_0005__A_R_0007_0007__MOTION,R_0007_0006__MAZY)
      & has_nim6(R_0007_0003__MEANDERING,R_0007_0001__FIVE_R_0007_0002__MILES)
      & has_conj2(R_0007_0034__AND,R_0007_0039__HEARD)
      & r_0007_0039__heard(R_0007_0039__HEARD)
      & has_r_0007_0040__from_clr120(R_0007_0039__HEARD,R_0007_0043__VOICES)
      & has_arg0(R_0007_0039__HEARD,R_0007_0038__KUBLA)
      & has_r_0007_0035___apos_mid_nim107(R_0007_0039__HEARD,R_0007_0036__THIS_R_0007_0037__TUMULT) ) ).

( (IP-MAT (ILYR (ILYR (PP-SCON (IP-PPL2 (NP-NIM (NUM Five;{five})
                                                (NS miles;{mile}))
                                        (VAG;_Ipr_ meandering;{meander[through]})
                                        (PP-NIM (P-ROLE with;{with})
                                                (NP (D a;{a})
                                                    (ADJP (ADJ mazy;{mazy}))
                                                    (N motion;{motion})))
                                        (PP-CLR (P-ROLE Through;{through})
                                                (NP (NLYR (NLYR (N wood;{wood}))
                                                          (CONJP (CONJ and;{and})
                                                                 (NLYR (N dale;{dale}))))))))
                      (NP-SBJ;{RIVER} (D the;{the})
                                      (ADJP (ADJ sacred;{sacred}))
                                      (N river;{river}))
                      (ILYR (ILYR (VBD;_I_ ran;{run}))
                            (PUNC ,)
                            (CONJP (ILYR (ADVP-NIM (ADV Then;{then}))
                                         (VBD;_Tn_ reached;{reach})
                                         (NP-OB1 (D the;{the})
                                                 (NS caverns;{cavern})
                                                 (ADJP (ADJ measureless;{measureless})
                                                       (PP (P-ROLE to;{to})
                                                           (NP (N man;{man})))))))
                            (PUNC ,)
                            (CONJP (CONJ And;{and})
                                   (ILYR (VBD;_Ipr_ sank;{sink[to]})
                                         (PP-NIM (P-ROLE in;{in})
                                                 (NP (N tumult;{tumult})))
                                         (PP-CLR (P-ROLE to;{to})
                                                 (NP (D a;{a})
                                                     (ADJP (ADJ lifeless;{lifeless}))
                                                     (N ocean;{ocean})))))))
                (PUNC :)
                (CONJP (CONJ And;{and})
                       (ILYR (PP-NIM (P-ROLE <apos>mid;{amid})
                                     (NP (D this;{this})
                                         (N tumult;{tumult})))
                             (NP-SBJ;{KUBLA} (NPR Kubla;{Kubla}))
                             (VBD;_Ipr_ heard;{hear[from]})
                             (PP-CLR (P-ROLE from;{from})
                                     (NP (ADJP (ADVP (ADV far;{far}))
                                               (ADJ Ancestral;{ancestral}))
                                         (NS voices;{voice})
                                         (IP-PPL (VAG;_Tn_ prophesying;{prophesy})
                                                 (NP-OB1 (N war;{war}))))))))
          (PUNC !))
  (ID 7_a_coleridge_1798))