TSPC 6_a_coleridge

6_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!

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

arc(r_0006_0003__meandering_r_0006_0008__Through,r_0006_0001__Five_r_0006_0002__miles,nim).
arc(r_0006_0003__meandering_r_0006_0008__Through,r_0006_0005__a_r_0006_0007__motion,r_0006_0004__with__nim).
arc(r_0006_0003__meandering_r_0006_0008__Through,r_0006_0010__and,arg1).
arc(r_0006_0003__meandering_r_0006_0008__Through,r_0006_0012__the_r_0006_0014__river,arg0).
arc(r_0006_0005__a_r_0006_0007__motion,r_0006_0006__mazy,attrib).
arc(r_0006_0010__and,r_0006_0009__wood,conj1).
arc(r_0006_0010__and,r_0006_0011__dale,conj2).
arc(r_0006_0012__the_r_0006_0014__river,r_0006_0013__sacred,attrib).
arc(r_0006_0015__ran,r_0006_0012__the_r_0006_0014__river,arg0).
arc(r_0006_0018__reached,r_0006_0012__the_r_0006_0014__river,arg0).
arc(r_0006_0018__reached,r_0006_0017__Then,nim).
arc(r_0006_0018__reached,r_0006_0019__the_r_0006_0020__caverns,arg1).
arc(r_0006_0019__the_r_0006_0020__caverns,r_0006_0021__measureless,attrib).
arc(r_0006_0021__measureless,r_0006_0023__man,r_0006_0022__to).
arc(r_0006_0025__And,r_0006_0015__ran,conj1).
arc(r_0006_0025__And,r_0006_0018__reached,conj2).
arc(r_0006_0025__And,r_0006_0026__sank_r_0006_0029__to,conj3).
arc(r_0006_0026__sank_r_0006_0029__to,r_0006_0012__the_r_0006_0014__river,arg0).
arc(r_0006_0026__sank_r_0006_0029__to,r_0006_0028__tumult,r_0006_0027__in__nim).
arc(r_0006_0026__sank_r_0006_0029__to,r_0006_0030__a_r_0006_0032__ocean,arg1).
arc(r_0006_0030__a_r_0006_0032__ocean,r_0006_0031__lifeless,attrib).
arc(r_0006_0034__And,r_0006_0039__heard_r_0006_0040__from,conj2).
arc(r_0006_0034__And,z_0006_5003,conj1).
arc(r_0006_0039__heard_r_0006_0040__from,r_0006_0036__this_r_0006_0037__tumult,r_0006_0035___apos_mid__nim).
arc(r_0006_0039__heard_r_0006_0040__from,r_0006_0038__Kubla,arg0).
arc(r_0006_0039__heard_r_0006_0040__from,r_0006_0043__voices,arg1).
arc(r_0006_0042__Ancestral,r_0006_0041__far,qual).
arc(r_0006_0043__voices,r_0006_0042__Ancestral,attrib).
arc(r_0006_0044__prophesying,r_0006_0043__voices,inv_arg0).
arc(r_0006_0044__prophesying,r_0006_0045__war,arg1).
arc(z_0006_5003,r_0006_0003__meandering_r_0006_0008__Through,restriction).
arc(z_0006_5003,r_0006_0025__And,scope).

fof(formula,axiom,
    ? [R_0006_0036__THIS_R_0006_0037__TUMULT,R_0006_0038__KUBLA,R_0006_0041__FAR,R_0006_0042__ANCESTRAL,R_0006_0045__WAR,R_0006_0044__PROPHESYING,R_0006_0043__VOICES,R_0006_0039__HEARD_R_0006_0040__FROM,R_0006_0001__FIVE_R_0006_0002__MILES,R_0006_0006__MAZY,R_0006_0005__A_R_0006_0007__MOTION,R_0006_0009__WOOD,R_0006_0011__DALE,R_0006_0010__AND,R_0006_0013__SACRED,R_0006_0012__THE_R_0006_0014__RIVER,R_0006_0003__MEANDERING_R_0006_0008__THROUGH,R_0006_0015__RAN,R_0006_0017__THEN,R_0006_0023__MAN,R_0006_0021__MEASURELESS,R_0006_0019__THE_R_0006_0020__CAVERNS,R_0006_0018__REACHED,R_0006_0028__TUMULT,R_0006_0031__LIFELESS,R_0006_0030__A_R_0006_0032__OCEAN,R_0006_0026__SANK_R_0006_0029__TO,R_0006_0025__AND,Z_0006_5003,R_0006_0034__AND] :
      ( r_0006_0001__Five_r_0006_0002__miles(R_0006_0001__FIVE_R_0006_0002__MILES)
      & r_0006_0006__mazy(R_0006_0006__MAZY)
      & r_0006_0009__wood(R_0006_0009__WOOD)
      & r_0006_0011__dale(R_0006_0011__DALE)
      & r_0006_0013__sacred(R_0006_0013__SACRED)
      & r_0006_0017__Then(R_0006_0017__THEN)
      & r_0006_0023__man(R_0006_0023__MAN)
      & r_0006_0028__tumult(R_0006_0028__TUMULT)
      & r_0006_0031__lifeless(R_0006_0031__LIFELESS)
      & r_0006_0036__this_r_0006_0037__tumult(R_0006_0036__THIS_R_0006_0037__TUMULT)
      & r_0006_0038__Kubla(R_0006_0038__KUBLA)
      & r_0006_0041__far(R_0006_0041__FAR)
      & r_0006_0045__war(R_0006_0045__WAR)
      & r_0006_0034__And(R_0006_0034__AND)
      & has_conj1(R_0006_0034__AND,Z_0006_5003)
      & z_0006_5003(Z_0006_5003)
      & has_conj2(Z_0006_5003,R_0006_0025__AND)
      & r_0006_0025__And(R_0006_0025__AND)
      & has_conj3(R_0006_0025__AND,R_0006_0026__SANK_R_0006_0029__TO)
      & r_0006_0026__sank_r_0006_0029__to(R_0006_0026__SANK_R_0006_0029__TO)
      & has_arg1(R_0006_0026__SANK_R_0006_0029__TO,R_0006_0030__A_R_0006_0032__OCEAN)
      & r_0006_0030__a_r_0006_0032__ocean(R_0006_0030__A_R_0006_0032__OCEAN)
      & has_attrib(R_0006_0030__A_R_0006_0032__OCEAN,R_0006_0031__LIFELESS)
      & has_r_0006_0027__in__nim(R_0006_0026__SANK_R_0006_0029__TO,R_0006_0028__TUMULT)
      & has_arg0(R_0006_0026__SANK_R_0006_0029__TO,R_0006_0012__THE_R_0006_0014__RIVER)
      & r_0006_0012__the_r_0006_0014__river(R_0006_0012__THE_R_0006_0014__RIVER)
      & has_attrib(R_0006_0012__THE_R_0006_0014__RIVER,R_0006_0013__SACRED)
      & has_conj2(R_0006_0025__AND,R_0006_0018__REACHED)
      & r_0006_0018__reached(R_0006_0018__REACHED)
      & has_arg1(R_0006_0018__REACHED,R_0006_0019__THE_R_0006_0020__CAVERNS)
      & r_0006_0019__the_r_0006_0020__caverns(R_0006_0019__THE_R_0006_0020__CAVERNS)
      & has_attrib(R_0006_0019__THE_R_0006_0020__CAVERNS,R_0006_0021__MEASURELESS)
      & r_0006_0021__measureless(R_0006_0021__MEASURELESS)
      & has_r_0006_0022__to(R_0006_0021__MEASURELESS,R_0006_0023__MAN)
      & has_nim(R_0006_0018__REACHED,R_0006_0017__THEN)
      & has_arg0(R_0006_0018__REACHED,R_0006_0012__THE_R_0006_0014__RIVER)
      & has_conj1(R_0006_0025__AND,R_0006_0015__RAN)
      & r_0006_0015__ran(R_0006_0015__RAN)
      & has_arg0(R_0006_0015__RAN,R_0006_0012__THE_R_0006_0014__RIVER)
      & has_conj1(Z_0006_5003,R_0006_0003__MEANDERING_R_0006_0008__THROUGH)
      & r_0006_0003__meandering_r_0006_0008__Through(R_0006_0003__MEANDERING_R_0006_0008__THROUGH)
      & has_arg0(R_0006_0003__MEANDERING_R_0006_0008__THROUGH,R_0006_0012__THE_R_0006_0014__RIVER)
      & has_arg1(R_0006_0003__MEANDERING_R_0006_0008__THROUGH,R_0006_0010__AND)
      & r_0006_0010__and(R_0006_0010__AND)
      & has_conj2(R_0006_0010__AND,R_0006_0011__DALE)
      & has_conj1(R_0006_0010__AND,R_0006_0009__WOOD)
      & has_r_0006_0004__with__nim(R_0006_0003__MEANDERING_R_0006_0008__THROUGH,R_0006_0005__A_R_0006_0007__MOTION)
      & r_0006_0005__a_r_0006_0007__motion(R_0006_0005__A_R_0006_0007__MOTION)
      & has_attrib(R_0006_0005__A_R_0006_0007__MOTION,R_0006_0006__MAZY)
      & has_nim(R_0006_0003__MEANDERING_R_0006_0008__THROUGH,R_0006_0001__FIVE_R_0006_0002__MILES)
      & has_conj2(R_0006_0034__AND,R_0006_0039__HEARD_R_0006_0040__FROM)
      & r_0006_0039__heard_r_0006_0040__from(R_0006_0039__HEARD_R_0006_0040__FROM)
      & has_arg1(R_0006_0039__HEARD_R_0006_0040__FROM,R_0006_0043__VOICES)
      & r_0006_0043__voices(R_0006_0043__VOICES)
      & has_inv_arg0(R_0006_0043__VOICES,R_0006_0044__PROPHESYING)
      & r_0006_0044__prophesying(R_0006_0044__PROPHESYING)
      & has_arg1(R_0006_0044__PROPHESYING,R_0006_0045__WAR)
      & has_attrib(R_0006_0043__VOICES,R_0006_0042__ANCESTRAL)
      & r_0006_0042__Ancestral(R_0006_0042__ANCESTRAL)
      & has_qual(R_0006_0042__ANCESTRAL,R_0006_0041__FAR)
      & has_arg0(R_0006_0039__HEARD_R_0006_0040__FROM,R_0006_0038__KUBLA)
      & has_r_0006_0035___apos_mid__nim(R_0006_0039__HEARD_R_0006_0040__FROM,R_0006_0036__THIS_R_0006_0037__TUMULT) ) ).