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_7_34_AND,Z_7_A_COLERIDGE_1798_4,R_7_3_MEANDERING,R_7_1_FIVE_MILES,R_7_5_A_MOTION,R_7_6_MAZY,R_7_10_AND,R_7_9_WOOD,R_7_11_DALE,R_7_25_AND,R_7_15_RAN,R_7_18_REACHED,R_7_19_THE_CAVERNS,R_7_21_MEASURELESS,R_7_23_MAN,R_7_17_THEN,R_7_26_SANK,R_7_12_THE_RIVER,R_7_13_SACRED,R_7_28_TUMULT,R_7_30_A_OCEAN,R_7_31_LIFELESS,R_7_39_HEARD,R_7_38_KUBLA,R_7_36_THIS_TUMULT,R_7_44_PROPHESYING,R_7_43_VOICES,R_7_42_ANCESTRAL,R_7_41_FAR,R_7_45_WAR] :
      ( five_miles(R_7_1_FIVE_MILES)
      & mazy(R_7_6_MAZY)
      & wood(R_7_9_WOOD)
      & dale(R_7_11_DALE)
      & man(R_7_23_MAN)
      & then(R_7_17_THEN)
      & sacred(R_7_13_SACRED)
      & tumult(R_7_28_TUMULT)
      & lifeless(R_7_31_LIFELESS)
      & kubla(R_7_38_KUBLA)
      & this_tumult(R_7_36_THIS_TUMULT)
      & far(R_7_41_FAR)
      & war(R_7_45_WAR)
      & and(R_7_34_AND)
      & conj1(R_7_34_AND,Z_7_A_COLERIDGE_1798_4)
      & z_7_a_coleridge_1798_4(Z_7_A_COLERIDGE_1798_4)
      & conj1(Z_7_A_COLERIDGE_1798_4,R_7_3_MEANDERING)
      & meandering(R_7_3_MEANDERING,R_7_12_THE_RIVER)
      & the_river(R_7_12_THE_RIVER)
      & attrib41(R_7_12_THE_RIVER,R_7_13_SACRED)
      & nim6(R_7_3_MEANDERING,R_7_1_FIVE_MILES)
      & with_nim16(R_7_3_MEANDERING,R_7_5_A_MOTION)
      & a_motion(R_7_5_A_MOTION)
      & attrib19(R_7_5_A_MOTION,R_7_6_MAZY)
      & through_clr27(R_7_3_MEANDERING,R_7_10_AND)
      & and(R_7_10_AND)
      & conj1(R_7_10_AND,R_7_9_WOOD)
      & conj2(R_7_10_AND,R_7_11_DALE)
      & conj2(Z_7_A_COLERIDGE_1798_4,R_7_25_AND)
      & and(R_7_25_AND)
      & conj1(R_7_25_AND,R_7_15_RAN)
      & ran(R_7_15_RAN,R_7_12_THE_RIVER)
      & conj2(R_7_25_AND,R_7_18_REACHED)
      & reached(R_7_18_REACHED,R_7_12_THE_RIVER,R_7_19_THE_CAVERNS)
      & the_caverns(R_7_19_THE_CAVERNS)
      & attrib64(R_7_19_THE_CAVERNS,R_7_21_MEASURELESS)
      & measureless(R_7_21_MEASURELESS)
      & to(R_7_21_MEASURELESS,R_7_23_MAN)
      & nim54(R_7_18_REACHED,R_7_17_THEN)
      & conj3(R_7_25_AND,R_7_26_SANK)
      & sank(R_7_26_SANK,R_7_12_THE_RIVER)
      & in_nim84(R_7_26_SANK,R_7_28_TUMULT)
      & to_clr90(R_7_26_SANK,R_7_30_A_OCEAN)
      & a_ocean(R_7_30_A_OCEAN)
      & attrib93(R_7_30_A_OCEAN,R_7_31_LIFELESS)
      & conj2(R_7_34_AND,R_7_39_HEARD)
      & heard(R_7_39_HEARD,R_7_38_KUBLA)
      & _apos_mid_nim107(R_7_39_HEARD,R_7_36_THIS_TUMULT)
      & from_clr120(R_7_39_HEARD,R_7_43_VOICES)
      & voices(R_7_43_VOICES)
      & attrib121(R_7_43_VOICES,R_7_42_ANCESTRAL)
      & ancestral(R_7_42_ANCESTRAL)
      & qual122(R_7_42_ANCESTRAL,R_7_41_FAR)
      & prophesying(R_7_44_PROPHESYING,R_7_43_VOICES,R_7_45_WAR) ) ).

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