Context                Previous, Next                Top


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.

n2_a_coleridge_1798 n2_a_coleridge_1798__1_1_1_1 In n2_a_coleridge_1798__1_1_2_1_1 Xanadu n2_a_coleridge_1798__1_1_2_2_1 *ICH*-189 n2_a_coleridge_1798__1_2_1 did n2_a_coleridge_1798__1_3_1_1 Kubla n2_a_coleridge_1798__1_3_2_1 Khan n2_a_coleridge_1798__1_4_1_1 A n2_a_coleridge_1798__1_4_2_1_1 stately n2_a_coleridge_1798__1_4_3_1 pleasure n2_a_coleridge_1798__1_4_4_1 dome n2_a_coleridge_1798__1_5_1 decree n2_a_coleridge_1798__1_6_1 : n2_a_coleridge_1798__1_7_1_1_1 Where n2_a_coleridge_1798__1_7_2_1_1 Alph n2_a_coleridge_1798__1_7_2_2_1 , n2_a_coleridge_1798__1_7_2_3_1_1_1 the n2_a_coleridge_1798__1_7_2_3_1_2_1_1 sacred n2_a_coleridge_1798__1_7_2_3_1_3_1 river n2_a_coleridge_1798__1_7_3_1 , n2_a_coleridge_1798__1_7_4_1 ran n2_a_coleridge_1798__1_7_5_1_1 Through n2_a_coleridge_1798__1_7_5_2_1_1 caverns n2_a_coleridge_1798__1_7_5_2_2_1_1 measureless n2_a_coleridge_1798__1_7_5_2_2_2_1_1 to n2_a_coleridge_1798__1_7_5_2_2_2_2_1_1 man n2_a_coleridge_1798__1_7_6_1_1 Down_to n2_a_coleridge_1798__1_7_6_2_1_1 a n2_a_coleridge_1798__1_7_6_2_2_1_1 sunless n2_a_coleridge_1798__1_7_6_2_3_1 sea n2_a_coleridge_1798__1_8_1 . n2_a_coleridge_1798__1 IP-MAT n2_a_coleridge_1798__1_1 PP-TPC-NIM n2_a_coleridge_1798__1->n2_a_coleridge_1798__1_1 n2_a_coleridge_1798__1_2 DOD n2_a_coleridge_1798__1->n2_a_coleridge_1798__1_2 n2_a_coleridge_1798__1_3 NP-SBJ n2_a_coleridge_1798__1->n2_a_coleridge_1798__1_3 n2_a_coleridge_1798__1_4 NP-OB1 n2_a_coleridge_1798__1->n2_a_coleridge_1798__1_4 n2_a_coleridge_1798__1_5 VB;_Tn_ n2_a_coleridge_1798__1->n2_a_coleridge_1798__1_5 n2_a_coleridge_1798__1_6 PUNC n2_a_coleridge_1798__1->n2_a_coleridge_1798__1_6 n2_a_coleridge_1798__1_7 IP-REL-EPD-189 n2_a_coleridge_1798__1->n2_a_coleridge_1798__1_7 n2_a_coleridge_1798__1_8 PUNC n2_a_coleridge_1798__1->n2_a_coleridge_1798__1_8 n2_a_coleridge_1798__1_1_1 P-ROLE n2_a_coleridge_1798__1_1->n2_a_coleridge_1798__1_1_1 n2_a_coleridge_1798__1_1_2 NP n2_a_coleridge_1798__1_1->n2_a_coleridge_1798__1_1_2 n2_a_coleridge_1798__1_1_1->n2_a_coleridge_1798__1_1_1_1 n2_a_coleridge_1798__1_1_2_1 NPR n2_a_coleridge_1798__1_1_2->n2_a_coleridge_1798__1_1_2_1 n2_a_coleridge_1798__1_1_2_2 IP-REL n2_a_coleridge_1798__1_1_2->n2_a_coleridge_1798__1_1_2_2 n2_a_coleridge_1798__1_1_2_1->n2_a_coleridge_1798__1_1_2_1_1 n2_a_coleridge_1798__1_1_2_2->n2_a_coleridge_1798__1_1_2_2_1 n2_a_coleridge_1798__1_2->n2_a_coleridge_1798__1_2_1 n2_a_coleridge_1798__1_3_1 NPR n2_a_coleridge_1798__1_3->n2_a_coleridge_1798__1_3_1 n2_a_coleridge_1798__1_3_2 NPR n2_a_coleridge_1798__1_3->n2_a_coleridge_1798__1_3_2 n2_a_coleridge_1798__1_3_1->n2_a_coleridge_1798__1_3_1_1 n2_a_coleridge_1798__1_3_2->n2_a_coleridge_1798__1_3_2_1 n2_a_coleridge_1798__1_4_1 D n2_a_coleridge_1798__1_4->n2_a_coleridge_1798__1_4_1 n2_a_coleridge_1798__1_4_2 ADJP n2_a_coleridge_1798__1_4->n2_a_coleridge_1798__1_4_2 n2_a_coleridge_1798__1_4_3 N n2_a_coleridge_1798__1_4->n2_a_coleridge_1798__1_4_3 n2_a_coleridge_1798__1_4_4 N n2_a_coleridge_1798__1_4->n2_a_coleridge_1798__1_4_4 n2_a_coleridge_1798__1_4_1->n2_a_coleridge_1798__1_4_1_1 n2_a_coleridge_1798__1_4_2_1 ADJ n2_a_coleridge_1798__1_4_2->n2_a_coleridge_1798__1_4_2_1 n2_a_coleridge_1798__1_4_2_1->n2_a_coleridge_1798__1_4_2_1_1 n2_a_coleridge_1798__1_4_3->n2_a_coleridge_1798__1_4_3_1 n2_a_coleridge_1798__1_4_4->n2_a_coleridge_1798__1_4_4_1 n2_a_coleridge_1798__1_5->n2_a_coleridge_1798__1_5_1 n2_a_coleridge_1798__1_6->n2_a_coleridge_1798__1_6_1 n2_a_coleridge_1798__1_7_1 ADVP-NIM n2_a_coleridge_1798__1_7->n2_a_coleridge_1798__1_7_1 n2_a_coleridge_1798__1_7_2 NP-SBJ n2_a_coleridge_1798__1_7->n2_a_coleridge_1798__1_7_2 n2_a_coleridge_1798__1_7_3 PUNC n2_a_coleridge_1798__1_7->n2_a_coleridge_1798__1_7_3 n2_a_coleridge_1798__1_7_4 VBD;_Ipr_ n2_a_coleridge_1798__1_7->n2_a_coleridge_1798__1_7_4 n2_a_coleridge_1798__1_7_5 PP-CLR n2_a_coleridge_1798__1_7->n2_a_coleridge_1798__1_7_5 n2_a_coleridge_1798__1_7_6 PP-NIM n2_a_coleridge_1798__1_7->n2_a_coleridge_1798__1_7_6 n2_a_coleridge_1798__1_7_1_1 RADV n2_a_coleridge_1798__1_7_1->n2_a_coleridge_1798__1_7_1_1 n2_a_coleridge_1798__1_7_1_1->n2_a_coleridge_1798__1_7_1_1_1 n2_a_coleridge_1798__1_7_2_1 NPR n2_a_coleridge_1798__1_7_2->n2_a_coleridge_1798__1_7_2_1 n2_a_coleridge_1798__1_7_2_2 PUNC n2_a_coleridge_1798__1_7_2->n2_a_coleridge_1798__1_7_2_2 n2_a_coleridge_1798__1_7_2_3 PRN n2_a_coleridge_1798__1_7_2->n2_a_coleridge_1798__1_7_2_3 n2_a_coleridge_1798__1_7_2_1->n2_a_coleridge_1798__1_7_2_1_1 n2_a_coleridge_1798__1_7_2_2->n2_a_coleridge_1798__1_7_2_2_1 n2_a_coleridge_1798__1_7_2_3_1 NP n2_a_coleridge_1798__1_7_2_3->n2_a_coleridge_1798__1_7_2_3_1 n2_a_coleridge_1798__1_7_2_3_1_1 D n2_a_coleridge_1798__1_7_2_3_1->n2_a_coleridge_1798__1_7_2_3_1_1 n2_a_coleridge_1798__1_7_2_3_1_2 ADJP n2_a_coleridge_1798__1_7_2_3_1->n2_a_coleridge_1798__1_7_2_3_1_2 n2_a_coleridge_1798__1_7_2_3_1_3 N n2_a_coleridge_1798__1_7_2_3_1->n2_a_coleridge_1798__1_7_2_3_1_3 n2_a_coleridge_1798__1_7_2_3_1_1->n2_a_coleridge_1798__1_7_2_3_1_1_1 n2_a_coleridge_1798__1_7_2_3_1_2_1 ADJ n2_a_coleridge_1798__1_7_2_3_1_2->n2_a_coleridge_1798__1_7_2_3_1_2_1 n2_a_coleridge_1798__1_7_2_3_1_2_1->n2_a_coleridge_1798__1_7_2_3_1_2_1_1 n2_a_coleridge_1798__1_7_2_3_1_3->n2_a_coleridge_1798__1_7_2_3_1_3_1 n2_a_coleridge_1798__1_7_3->n2_a_coleridge_1798__1_7_3_1 n2_a_coleridge_1798__1_7_4->n2_a_coleridge_1798__1_7_4_1 n2_a_coleridge_1798__1_7_5_1 P-ROLE n2_a_coleridge_1798__1_7_5->n2_a_coleridge_1798__1_7_5_1 n2_a_coleridge_1798__1_7_5_2 NP n2_a_coleridge_1798__1_7_5->n2_a_coleridge_1798__1_7_5_2 n2_a_coleridge_1798__1_7_5_1->n2_a_coleridge_1798__1_7_5_1_1 n2_a_coleridge_1798__1_7_5_2_1 NS n2_a_coleridge_1798__1_7_5_2->n2_a_coleridge_1798__1_7_5_2_1 n2_a_coleridge_1798__1_7_5_2_2 ADJP n2_a_coleridge_1798__1_7_5_2->n2_a_coleridge_1798__1_7_5_2_2 n2_a_coleridge_1798__1_7_5_2_1->n2_a_coleridge_1798__1_7_5_2_1_1 n2_a_coleridge_1798__1_7_5_2_2_1 ADJ n2_a_coleridge_1798__1_7_5_2_2->n2_a_coleridge_1798__1_7_5_2_2_1 n2_a_coleridge_1798__1_7_5_2_2_2 PP n2_a_coleridge_1798__1_7_5_2_2->n2_a_coleridge_1798__1_7_5_2_2_2 n2_a_coleridge_1798__1_7_5_2_2_1->n2_a_coleridge_1798__1_7_5_2_2_1_1 n2_a_coleridge_1798__1_7_5_2_2_2_1 P-ROLE n2_a_coleridge_1798__1_7_5_2_2_2->n2_a_coleridge_1798__1_7_5_2_2_2_1 n2_a_coleridge_1798__1_7_5_2_2_2_2 NP n2_a_coleridge_1798__1_7_5_2_2_2->n2_a_coleridge_1798__1_7_5_2_2_2_2 n2_a_coleridge_1798__1_7_5_2_2_2_1->n2_a_coleridge_1798__1_7_5_2_2_2_1_1 n2_a_coleridge_1798__1_7_5_2_2_2_2_1 N n2_a_coleridge_1798__1_7_5_2_2_2_2->n2_a_coleridge_1798__1_7_5_2_2_2_2_1 n2_a_coleridge_1798__1_7_5_2_2_2_2_1->n2_a_coleridge_1798__1_7_5_2_2_2_2_1_1 n2_a_coleridge_1798__1_7_6_1 P-ROLE n2_a_coleridge_1798__1_7_6->n2_a_coleridge_1798__1_7_6_1 n2_a_coleridge_1798__1_7_6_2 NP n2_a_coleridge_1798__1_7_6->n2_a_coleridge_1798__1_7_6_2 n2_a_coleridge_1798__1_7_6_1->n2_a_coleridge_1798__1_7_6_1_1 n2_a_coleridge_1798__1_7_6_2_1 D n2_a_coleridge_1798__1_7_6_2->n2_a_coleridge_1798__1_7_6_2_1 n2_a_coleridge_1798__1_7_6_2_2 ADJP n2_a_coleridge_1798__1_7_6_2->n2_a_coleridge_1798__1_7_6_2_2 n2_a_coleridge_1798__1_7_6_2_3 N n2_a_coleridge_1798__1_7_6_2->n2_a_coleridge_1798__1_7_6_2_3 n2_a_coleridge_1798__1_7_6_2_1->n2_a_coleridge_1798__1_7_6_2_1_1 n2_a_coleridge_1798__1_7_6_2_2_1 ADJ n2_a_coleridge_1798__1_7_6_2_2->n2_a_coleridge_1798__1_7_6_2_2_1 n2_a_coleridge_1798__1_7_6_2_2_1->n2_a_coleridge_1798__1_7_6_2_2_1_1 n2_a_coleridge_1798__1_7_6_2_3->n2_a_coleridge_1798__1_7_6_2_3_1 n2_a_coleridge_1798__1_8->n2_a_coleridge_1798__1_8_1 
( (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 ,)
                                  (PRN (NP (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))


%3 z_0002_5003 r_0002_0015__the_r_0002_0017__river the river z_0002_5003->r_0002_0015__the_r_0002_0017__river [prd] r_0002_0013__Alph Alph z_0002_5003->r_0002_0013__Alph [arg0] r_0002_0016__sacred sacred r_0002_0015__the_r_0002_0017__river->r_0002_0016__sacred [attrib] r_0002_0026__a_r_0002_0028__sea a sea r_0002_0027__sunless sunless r_0002_0026__a_r_0002_0028__sea->r_0002_0027__sunless [attrib] r_0002_0022__measureless measureless r_0002_0024__man man r_0002_0022__measureless->r_0002_0024__man to r_0002_0021__caverns caverns r_0002_0021__caverns->r_0002_0022__measureless [attrib] r_0002_0019__ran_r_0002_0020__Through ran Through r_0002_0019__ran_r_0002_0020__Through->r_0002_0013__Alph [arg0] r_0002_0019__ran_r_0002_0020__Through->r_0002_0026__a_r_0002_0028__sea Down_to [nim] r_0002_0019__ran_r_0002_0020__Through->r_0002_0021__caverns [arg1] r_0002_0002__Xanadu Xanadu r_0002_0019__ran_r_0002_0020__Through->r_0002_0002__Xanadu [nim] r_0002_0006__A_r_0002_0008__pleasure_r_0002_0009__dome A pleasure dome r_0002_0007__stately stately r_0002_0006__A_r_0002_0008__pleasure_r_0002_0009__dome->r_0002_0007__stately [attrib] r_0002_0003__did_r_0002_0010__decree did decree r_0002_0003__did_r_0002_0010__decree->r_0002_0002__Xanadu In [nim] r_0002_0003__did_r_0002_0010__decree->r_0002_0006__A_r_0002_0008__pleasure_r_0002_0009__dome [arg1] r_0002_0004__Kubla_r_0002_0005__Khan Kubla Khan 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_0002__Xanadu,r_0002_0001__In__nim).
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,attrib).
arc(r_0002_0015__the_r_0002_0017__river,r_0002_0016__sacred,attrib).
arc(r_0002_0019__ran_r_0002_0020__Through,r_0002_0002__Xanadu,nim).
arc(r_0002_0019__ran_r_0002_0020__Through,r_0002_0013__Alph,arg0).
arc(r_0002_0019__ran_r_0002_0020__Through,r_0002_0021__caverns,arg1).
arc(r_0002_0019__ran_r_0002_0020__Through,r_0002_0026__a_r_0002_0028__sea,r_0002_0025__Down_to__nim).
arc(r_0002_0021__caverns,r_0002_0022__measureless,attrib).
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,attrib).
arc(z_0002_5003,r_0002_0013__Alph,arg0).
arc(z_0002_5003,r_0002_0015__the_r_0002_0017__river,prd).


%3 r_0002_0003__did_r_0002_0010__decree did decree r_0002_0002__Xanadu Xanadu r_0002_0003__did_r_0002_0010__decree->r_0002_0002__Xanadu In [nim] r_0002_0004__Kubla_r_0002_0005__Khan Kubla Khan r_0002_0003__did_r_0002_0010__decree->r_0002_0004__Kubla_r_0002_0005__Khan [arg0] r_0002_0006__A_r_0002_0008__pleasure_r_0002_0009__dome A pleasure dome r_0002_0003__did_r_0002_0010__decree->r_0002_0006__A_r_0002_0008__pleasure_r_0002_0009__dome [arg1] r_0002_0007__stately stately r_0002_0006__A_r_0002_0008__pleasure_r_0002_0009__dome->r_0002_0007__stately [attrib] r_0002_0015__the_r_0002_0017__river the river r_0002_0016__sacred sacred r_0002_0015__the_r_0002_0017__river->r_0002_0016__sacred [attrib] r_0002_0019__ran_r_0002_0020__Through ran Through r_0002_0019__ran_r_0002_0020__Through->r_0002_0002__Xanadu [nim] r_0002_0013__Alph Alph r_0002_0019__ran_r_0002_0020__Through->r_0002_0013__Alph [arg0] r_0002_0021__caverns caverns r_0002_0019__ran_r_0002_0020__Through->r_0002_0021__caverns [arg1] r_0002_0026__a_r_0002_0028__sea a sea r_0002_0019__ran_r_0002_0020__Through->r_0002_0026__a_r_0002_0028__sea Down_to [nim] r_0002_0022__measureless measureless r_0002_0021__caverns->r_0002_0022__measureless [attrib] r_0002_0027__sunless sunless r_0002_0026__a_r_0002_0028__sea->r_0002_0027__sunless [attrib] r_0002_0024__man man r_0002_0022__measureless->r_0002_0024__man to z_0002_5003 z_0002_5003->r_0002_0015__the_r_0002_0017__river [prd] z_0002_5003->r_0002_0013__Alph [arg0] 
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_0020__THROUGH,R_0002_0016__SACRED,R_0002_0015__THE_R_0002_0017__RIVER,Z_0002_5003] :
      ( 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_0002_5003(Z_0002_5003)
      & has_prd(Z_0002_5003,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_attrib(R_0002_0015__THE_R_0002_0017__RIVER,R_0002_0016__SACRED)
      & has_arg0(Z_0002_5003,R_0002_0013__ALPH)
      & r_0002_0019__ran_r_0002_0020__Through(R_0002_0019__RAN_R_0002_0020__THROUGH)
      & has_r_0002_0025__Down_to__nim(R_0002_0019__RAN_R_0002_0020__THROUGH,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_attrib(R_0002_0026__A_R_0002_0028__SEA,R_0002_0027__SUNLESS)
      & has_arg1(R_0002_0019__RAN_R_0002_0020__THROUGH,R_0002_0021__CAVERNS)
      & r_0002_0021__caverns(R_0002_0021__CAVERNS)
      & has_attrib(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_0020__THROUGH,R_0002_0013__ALPH)
      & has_nim(R_0002_0019__RAN_R_0002_0020__THROUGH,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_attrib(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__nim(R_0002_0003__DID_R_0002_0010__DECREE,R_0002_0002__XANADU) ) ).