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.

%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 ran r_0002_0019__ran->r_0002_0002__Xanadu [nim] r_0002_0013__Alph Alph r_0002_0019__ran->r_0002_0013__Alph [arg0] r_0002_0021__caverns caverns r_0002_0019__ran->r_0002_0021__caverns Through [clr] r_0002_0026__a_r_0002_0028__sea a sea r_0002_0019__ran->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_000_2_a_coleridge_1798_40 z_000_2_a_coleridge_1798_40->r_0002_0015__the_r_0002_0017__river [prd] z_000_2_a_coleridge_1798_40->r_0002_0013__Alph [arg0] 
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).


%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 ran r_0002_0019__ran->r_0002_0002__Xanadu [nim] r_0002_0013__Alph Alph r_0002_0019__ran->r_0002_0013__Alph [arg0] r_0002_0021__caverns caverns r_0002_0019__ran->r_0002_0021__caverns Through [clr] r_0002_0026__a_r_0002_0028__sea a sea r_0002_0019__ran->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_000_2_a_coleridge_1798_40 z_000_2_a_coleridge_1798_40->r_0002_0015__the_r_0002_0017__river [prd] z_000_2_a_coleridge_1798_40->r_0002_0013__Alph [arg0] 
fof(formula,axiom,
    ? [R_2_3_DID_DECREE,R_2_4_KUBLA_KHAN,R_2_6_A_PLEASURE_DOME,R_2_7_STATELY,R_2_19_RAN,R_2_2_XANADU,R_2_21_CAVERNS,R_2_22_MEASURELESS,R_2_24_MAN,R_2_26_A_SEA,R_2_27_SUNLESS,Z_2_A_COLERIDGE_1798_40,R_2_13_ALPH,R_2_15_THE_RIVER,R_2_16_SACRED] :
      ( kubla_Khan(R_2_4_KUBLA_KHAN)
      & stately(R_2_7_STATELY)
      & xanadu(R_2_2_XANADU)
      & man(R_2_24_MAN)
      & sunless(R_2_27_SUNLESS)
      & alph(R_2_13_ALPH)
      & sacred(R_2_16_SACRED)
      & did_decree(R_2_3_DID_DECREE,R_2_4_KUBLA_KHAN,R_2_6_A_PLEASURE_DOME)
      & a_pleasure_dome(R_2_6_A_PLEASURE_DOME)
      & attrib20(R_2_6_A_PLEASURE_DOME,R_2_7_STATELY)
      & in_nim5(R_2_3_DID_DECREE,R_2_2_XANADU)
      & ran(R_2_19_RAN,R_2_13_ALPH)
      & nim32(R_2_19_RAN,R_2_2_XANADU)
      & through_clr56(R_2_19_RAN,R_2_21_CAVERNS)
      & caverns(R_2_21_CAVERNS)
      & attrib59(R_2_21_CAVERNS,R_2_22_MEASURELESS)
      & measureless(R_2_22_MEASURELESS)
      & to(R_2_22_MEASURELESS,R_2_24_MAN)
      & down_to_nim71(R_2_19_RAN,R_2_26_A_SEA)
      & a_sea(R_2_26_A_SEA)
      & attrib74(R_2_26_A_SEA,R_2_27_SUNLESS)
      & z_2_a_coleridge_1798_40(Z_2_A_COLERIDGE_1798_40,R_2_13_ALPH,R_2_15_THE_RIVER)
      & the_river(R_2_15_THE_RIVER)
      & attrib44(R_2_15_THE_RIVER,R_2_16_SACRED) ) ).


n2_a_coleridge_1798 n2_a_coleridge_1798_4 In n2_a_coleridge_1798_7 Xanadu n2_a_coleridge_1798_9 *ICH*-189 n2_a_coleridge_1798_11 did n2_a_coleridge_1798_14 Kubla n2_a_coleridge_1798_16 Khan n2_a_coleridge_1798_19 A n2_a_coleridge_1798_22 stately n2_a_coleridge_1798_24 pleasure n2_a_coleridge_1798_26 dome n2_a_coleridge_1798_28 decree n2_a_coleridge_1798_30 : n2_a_coleridge_1798_34 Where n2_a_coleridge_1798_37 Alph n2_a_coleridge_1798_39 , n2_a_coleridge_1798_43 the n2_a_coleridge_1798_46 sacred n2_a_coleridge_1798_48 river n2_a_coleridge_1798_50 , n2_a_coleridge_1798_52 ran n2_a_coleridge_1798_55 Through n2_a_coleridge_1798_58 caverns n2_a_coleridge_1798_61 measureless n2_a_coleridge_1798_64 to n2_a_coleridge_1798_67 man n2_a_coleridge_1798_70 Down_to n2_a_coleridge_1798_73 a n2_a_coleridge_1798_76 sunless n2_a_coleridge_1798_78 sea n2_a_coleridge_1798_80 . n2_a_coleridge_1798_1 IP-MAT n2_a_coleridge_1798_2 PP-TPC-NIM n2_a_coleridge_1798_1->n2_a_coleridge_1798_2 n2_a_coleridge_1798_10 DOD n2_a_coleridge_1798_1->n2_a_coleridge_1798_10 n2_a_coleridge_1798_12 NP-SBJ n2_a_coleridge_1798_1->n2_a_coleridge_1798_12 n2_a_coleridge_1798_17 NP-OB1 n2_a_coleridge_1798_1->n2_a_coleridge_1798_17 n2_a_coleridge_1798_27 VB;_Tn_ n2_a_coleridge_1798_1->n2_a_coleridge_1798_27 n2_a_coleridge_1798_29 PUNC n2_a_coleridge_1798_1->n2_a_coleridge_1798_29 n2_a_coleridge_1798_31 IP-REL-EPD-189 n2_a_coleridge_1798_1->n2_a_coleridge_1798_31 n2_a_coleridge_1798_79 PUNC n2_a_coleridge_1798_1->n2_a_coleridge_1798_79 n2_a_coleridge_1798_3 P-ROLE n2_a_coleridge_1798_2->n2_a_coleridge_1798_3 n2_a_coleridge_1798_5 NP n2_a_coleridge_1798_2->n2_a_coleridge_1798_5 n2_a_coleridge_1798_3->n2_a_coleridge_1798_4 n2_a_coleridge_1798_6 NPR n2_a_coleridge_1798_5->n2_a_coleridge_1798_6 n2_a_coleridge_1798_8 IP-REL n2_a_coleridge_1798_5->n2_a_coleridge_1798_8 n2_a_coleridge_1798_6->n2_a_coleridge_1798_7 n2_a_coleridge_1798_8->n2_a_coleridge_1798_9 n2_a_coleridge_1798_10->n2_a_coleridge_1798_11 n2_a_coleridge_1798_13 NPR n2_a_coleridge_1798_12->n2_a_coleridge_1798_13 n2_a_coleridge_1798_15 NPR n2_a_coleridge_1798_12->n2_a_coleridge_1798_15 n2_a_coleridge_1798_13->n2_a_coleridge_1798_14 n2_a_coleridge_1798_15->n2_a_coleridge_1798_16 n2_a_coleridge_1798_18 D n2_a_coleridge_1798_17->n2_a_coleridge_1798_18 n2_a_coleridge_1798_20 ADJP n2_a_coleridge_1798_17->n2_a_coleridge_1798_20 n2_a_coleridge_1798_23 N n2_a_coleridge_1798_17->n2_a_coleridge_1798_23 n2_a_coleridge_1798_25 N n2_a_coleridge_1798_17->n2_a_coleridge_1798_25 n2_a_coleridge_1798_18->n2_a_coleridge_1798_19 n2_a_coleridge_1798_21 ADJ n2_a_coleridge_1798_20->n2_a_coleridge_1798_21 n2_a_coleridge_1798_21->n2_a_coleridge_1798_22 n2_a_coleridge_1798_23->n2_a_coleridge_1798_24 n2_a_coleridge_1798_25->n2_a_coleridge_1798_26 n2_a_coleridge_1798_27->n2_a_coleridge_1798_28 n2_a_coleridge_1798_29->n2_a_coleridge_1798_30 n2_a_coleridge_1798_32 ADVP-NIM n2_a_coleridge_1798_31->n2_a_coleridge_1798_32 n2_a_coleridge_1798_35 NP-SBJ n2_a_coleridge_1798_31->n2_a_coleridge_1798_35 n2_a_coleridge_1798_49 PUNC n2_a_coleridge_1798_31->n2_a_coleridge_1798_49 n2_a_coleridge_1798_51 VBD;_Ipr_ n2_a_coleridge_1798_31->n2_a_coleridge_1798_51 n2_a_coleridge_1798_53 PP-CLR n2_a_coleridge_1798_31->n2_a_coleridge_1798_53 n2_a_coleridge_1798_68 PP-NIM n2_a_coleridge_1798_31->n2_a_coleridge_1798_68 n2_a_coleridge_1798_33 RADV n2_a_coleridge_1798_32->n2_a_coleridge_1798_33 n2_a_coleridge_1798_33->n2_a_coleridge_1798_34 n2_a_coleridge_1798_36 NPR n2_a_coleridge_1798_35->n2_a_coleridge_1798_36 n2_a_coleridge_1798_38 PUNC n2_a_coleridge_1798_35->n2_a_coleridge_1798_38 n2_a_coleridge_1798_40 IP-PPL n2_a_coleridge_1798_35->n2_a_coleridge_1798_40 n2_a_coleridge_1798_36->n2_a_coleridge_1798_37 n2_a_coleridge_1798_38->n2_a_coleridge_1798_39 n2_a_coleridge_1798_41 NP-PRD n2_a_coleridge_1798_40->n2_a_coleridge_1798_41 n2_a_coleridge_1798_42 D n2_a_coleridge_1798_41->n2_a_coleridge_1798_42 n2_a_coleridge_1798_44 ADJP n2_a_coleridge_1798_41->n2_a_coleridge_1798_44 n2_a_coleridge_1798_47 N n2_a_coleridge_1798_41->n2_a_coleridge_1798_47 n2_a_coleridge_1798_42->n2_a_coleridge_1798_43 n2_a_coleridge_1798_45 ADJ n2_a_coleridge_1798_44->n2_a_coleridge_1798_45 n2_a_coleridge_1798_45->n2_a_coleridge_1798_46 n2_a_coleridge_1798_47->n2_a_coleridge_1798_48 n2_a_coleridge_1798_49->n2_a_coleridge_1798_50 n2_a_coleridge_1798_51->n2_a_coleridge_1798_52 n2_a_coleridge_1798_54 P-ROLE n2_a_coleridge_1798_53->n2_a_coleridge_1798_54 n2_a_coleridge_1798_56 NP n2_a_coleridge_1798_53->n2_a_coleridge_1798_56 n2_a_coleridge_1798_54->n2_a_coleridge_1798_55 n2_a_coleridge_1798_57 NS n2_a_coleridge_1798_56->n2_a_coleridge_1798_57 n2_a_coleridge_1798_59 ADJP n2_a_coleridge_1798_56->n2_a_coleridge_1798_59 n2_a_coleridge_1798_57->n2_a_coleridge_1798_58 n2_a_coleridge_1798_60 ADJ n2_a_coleridge_1798_59->n2_a_coleridge_1798_60 n2_a_coleridge_1798_62 PP n2_a_coleridge_1798_59->n2_a_coleridge_1798_62 n2_a_coleridge_1798_60->n2_a_coleridge_1798_61 n2_a_coleridge_1798_63 P-ROLE n2_a_coleridge_1798_62->n2_a_coleridge_1798_63 n2_a_coleridge_1798_65 NP n2_a_coleridge_1798_62->n2_a_coleridge_1798_65 n2_a_coleridge_1798_63->n2_a_coleridge_1798_64 n2_a_coleridge_1798_66 N n2_a_coleridge_1798_65->n2_a_coleridge_1798_66 n2_a_coleridge_1798_66->n2_a_coleridge_1798_67 n2_a_coleridge_1798_69 P-ROLE n2_a_coleridge_1798_68->n2_a_coleridge_1798_69 n2_a_coleridge_1798_71 NP n2_a_coleridge_1798_68->n2_a_coleridge_1798_71 n2_a_coleridge_1798_69->n2_a_coleridge_1798_70 n2_a_coleridge_1798_72 D n2_a_coleridge_1798_71->n2_a_coleridge_1798_72 n2_a_coleridge_1798_74 ADJP n2_a_coleridge_1798_71->n2_a_coleridge_1798_74 n2_a_coleridge_1798_77 N n2_a_coleridge_1798_71->n2_a_coleridge_1798_77 n2_a_coleridge_1798_72->n2_a_coleridge_1798_73 n2_a_coleridge_1798_75 ADJ n2_a_coleridge_1798_74->n2_a_coleridge_1798_75 n2_a_coleridge_1798_75->n2_a_coleridge_1798_76 n2_a_coleridge_1798_77->n2_a_coleridge_1798_78 n2_a_coleridge_1798_79->n2_a_coleridge_1798_80 
( (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))