TSPC 2_a_coleridge

2_a_coleridge_1798
In Xanadu did Kubla Khan A stately pleasure dome decree: Where Alph, the sacred river, ran Through caverns measureless to man Down to a sunless sea.

arc(r_0002_0003__did_r_0002_0010__decree, r_0002_0002__Xanadu, r_0002_0001__In_nim5).
arc(r_0002_0003__did_r_0002_0010__decree, r_0002_0004__Kubla_r_0002_0005__Khan, arg0).
arc(r_0002_0003__did_r_0002_0010__decree, r_0002_0006__A_r_0002_0008__pleasure_r_0002_0009__dome, arg1).
arc(r_0002_0006__A_r_0002_0008__pleasure_r_0002_0009__dome, r_0002_0007__stately, attrib20).
arc(r_0002_0015__the_r_0002_0017__river, r_0002_0016__sacred, attrib44).
arc(r_0002_0019__ran, r_0002_0002__Xanadu, nim32).
arc(r_0002_0019__ran, r_0002_0013__Alph, arg0).
arc(r_0002_0019__ran, r_0002_0021__caverns, r_0002_0020__Through_clr56).
arc(r_0002_0019__ran, r_0002_0026__a_r_0002_0028__sea, r_0002_0025__Down_to_nim71).
arc(r_0002_0021__caverns, r_0002_0022__measureless, attrib59).
arc(r_0002_0022__measureless, r_0002_0024__man, r_0002_0023__to).
arc(r_0002_0026__a_r_0002_0028__sea, r_0002_0027__sunless, attrib74).
arc(z_000_2_a_coleridge_1798_40, r_0002_0013__Alph, arg0).
arc(z_000_2_a_coleridge_1798_40, r_0002_0015__the_r_0002_0017__river, prd).

fof(formula,axiom,
    ? [R_0002_0002__XANADU,R_0002_0004__KUBLA_R_0002_0005__KHAN,R_0002_0007__STATELY,R_0002_0006__A_R_0002_0008__PLEASURE_R_0002_0009__DOME,R_0002_0003__DID_R_0002_0010__DECREE,R_0002_0013__ALPH,R_0002_0024__MAN,R_0002_0022__MEASURELESS,R_0002_0021__CAVERNS,R_0002_0027__SUNLESS,R_0002_0026__A_R_0002_0028__SEA,R_0002_0019__RAN,R_0002_0016__SACRED,R_0002_0015__THE_R_0002_0017__RIVER,Z_000_2_A_COLERIDGE_1798_40] :
      ( r_0002_0002__Xanadu(R_0002_0002__XANADU)
      & r_0002_0004__Kubla_r_0002_0005__Khan(R_0002_0004__KUBLA_R_0002_0005__KHAN)
      & r_0002_0007__stately(R_0002_0007__STATELY)
      & r_0002_0013__Alph(R_0002_0013__ALPH)
      & r_0002_0016__sacred(R_0002_0016__SACRED)
      & r_0002_0024__man(R_0002_0024__MAN)
      & r_0002_0027__sunless(R_0002_0027__SUNLESS)
      & z_000_2_a_coleridge_1798_40(Z_000_2_A_COLERIDGE_1798_40)
      & has_prd(Z_000_2_A_COLERIDGE_1798_40,R_0002_0015__THE_R_0002_0017__RIVER)
      & r_0002_0015__the_r_0002_0017__river(R_0002_0015__THE_R_0002_0017__RIVER)
      & has_attrib44(R_0002_0015__THE_R_0002_0017__RIVER,R_0002_0016__SACRED)
      & has_arg0(Z_000_2_A_COLERIDGE_1798_40,R_0002_0013__ALPH)
      & r_0002_0019__ran(R_0002_0019__RAN)
      & has_r_0002_0025__Down_to_nim71(R_0002_0019__RAN,R_0002_0026__A_R_0002_0028__SEA)
      & r_0002_0026__a_r_0002_0028__sea(R_0002_0026__A_R_0002_0028__SEA)
      & has_attrib74(R_0002_0026__A_R_0002_0028__SEA,R_0002_0027__SUNLESS)
      & has_r_0002_0020__Through_clr56(R_0002_0019__RAN,R_0002_0021__CAVERNS)
      & r_0002_0021__caverns(R_0002_0021__CAVERNS)
      & has_attrib59(R_0002_0021__CAVERNS,R_0002_0022__MEASURELESS)
      & r_0002_0022__measureless(R_0002_0022__MEASURELESS)
      & has_r_0002_0023__to(R_0002_0022__MEASURELESS,R_0002_0024__MAN)
      & has_arg0(R_0002_0019__RAN,R_0002_0013__ALPH)
      & has_nim32(R_0002_0019__RAN,R_0002_0002__XANADU)
      & r_0002_0003__did_r_0002_0010__decree(R_0002_0003__DID_R_0002_0010__DECREE)
      & has_arg1(R_0002_0003__DID_R_0002_0010__DECREE,R_0002_0006__A_R_0002_0008__PLEASURE_R_0002_0009__DOME)
      & r_0002_0006__A_r_0002_0008__pleasure_r_0002_0009__dome(R_0002_0006__A_R_0002_0008__PLEASURE_R_0002_0009__DOME)
      & has_attrib20(R_0002_0006__A_R_0002_0008__PLEASURE_R_0002_0009__DOME,R_0002_0007__STATELY)
      & has_arg0(R_0002_0003__DID_R_0002_0010__DECREE,R_0002_0004__KUBLA_R_0002_0005__KHAN)
      & has_r_0002_0001__In_nim5(R_0002_0003__DID_R_0002_0010__DECREE,R_0002_0002__XANADU) ) ).

( (IP-MAT (PP-TPC-NIM (P-ROLE In;{in})
                      (NP (NPR Xanadu;{Xanadu})
                          (IP-REL *ICH*-189)))
          (DOD did;{do})
          (NP-SBJ;{KUBLA} (NPR Kubla;{Kubla})
                          (NPR Khan;{Khan}))
          (NP-OB1 (D A;{a})
                  (ADJP (ADJ stately;{stately}))
                  (N pleasure;{pleasure})
                  (N dome;{dome}))
          (VB;_Tn_ decree;{decree})
          (PUNC :)
          (IP-REL-EPD-189 (ADVP-NIM (RADV Where;{where}))
                          (NP-SBJ (NPR Alph;{Alph})
                                  (PUNC ,)
                                  (IP-PPL (NP-PRD (D the;{the})
                                                  (ADJP (ADJ sacred;{sacred}))
                                                  (N river;{river}))))
                          (PUNC ,)
                          (VBD;_Ipr_ ran;{run[through]})
                          (PP-CLR (P-ROLE Through;{through})
                                  (NP (NS caverns;{cavern})
                                      (ADJP (ADJ measureless;{measureless})
                                            (PP (P-ROLE to;{to})
                                                (NP (N man;{man}))))))
                          (PP-NIM (P-ROLE Down_to;{down_to})
                                  (NP (D a;{a})
                                      (ADJP (ADJ sunless;{sunless}))
                                      (N sea;{sea}))))
          (PUNC .))
  (ID 2_a_coleridge_1798))