Context                Previous, Next                Top


9_a_coleridge_1798
It was a miracle of rare device, A sunny pleasure-dome with caves of ice!

%3 r_0009_0002__was was r_0009_0003__a_r_0009_0004__miracle a miracle r_0009_0002__was->r_0009_0003__a_r_0009_0004__miracle [prd] r_0009_0009__A_r_0009_0011__pleasure__hyphen__dome A pleasure-dome r_0009_0002__was->r_0009_0009__A_r_0009_0011__pleasure__hyphen__dome [arg0] r_0009_0007__device device r_0009_0003__a_r_0009_0004__miracle->r_0009_0007__device of r_0009_0010__sunny sunny r_0009_0009__A_r_0009_0011__pleasure__hyphen__dome->r_0009_0010__sunny [attrib] r_0009_0013__caves caves r_0009_0009__A_r_0009_0011__pleasure__hyphen__dome->r_0009_0013__caves with r_0009_0006__rare rare r_0009_0007__device->r_0009_0006__rare [attrib] r_0009_0015__ice ice r_0009_0013__caves->r_0009_0015__ice of 
arc(r_0009_0002__was, r_0009_0003__a_r_0009_0004__miracle, prd).
arc(r_0009_0002__was, r_0009_0009__A_r_0009_0011__pleasure__hyphen__dome, arg0).
arc(r_0009_0003__a_r_0009_0004__miracle, r_0009_0007__device, r_0009_0005__of).
arc(r_0009_0007__device, r_0009_0006__rare, attrib16).
arc(r_0009_0009__A_r_0009_0011__pleasure__hyphen__dome, r_0009_0010__sunny, attrib26).
arc(r_0009_0009__A_r_0009_0011__pleasure__hyphen__dome, r_0009_0013__caves, r_0009_0012__with).
arc(r_0009_0013__caves, r_0009_0015__ice, r_0009_0014__of).


%3 r_0009_0013__caves caves r_0009_0015__ice ice r_0009_0013__caves->r_0009_0015__ice of r_0009_0009__A_r_0009_0011__pleasure__hyphen__dome A pleasure-dome r_0009_0009__A_r_0009_0011__pleasure__hyphen__dome->r_0009_0013__caves with r_0009_0010__sunny sunny r_0009_0009__A_r_0009_0011__pleasure__hyphen__dome->r_0009_0010__sunny [attrib] r_0009_0007__device device r_0009_0006__rare rare r_0009_0007__device->r_0009_0006__rare [attrib] r_0009_0003__a_r_0009_0004__miracle a miracle r_0009_0003__a_r_0009_0004__miracle->r_0009_0007__device of r_0009_0002__was was r_0009_0002__was->r_0009_0009__A_r_0009_0011__pleasure__hyphen__dome [arg0] r_0009_0002__was->r_0009_0003__a_r_0009_0004__miracle [prd] 
fof(formula,axiom,
    ? [R_0009_0006__RARE,R_0009_0007__DEVICE,R_0009_0003__A_R_0009_0004__MIRACLE,R_0009_0010__SUNNY,R_0009_0015__ICE,R_0009_0013__CAVES,R_0009_0009__A_R_0009_0011__PLEASURE__HYPHEN__DOME,R_0009_0002__WAS] :
      ( r_0009_0006__rare(R_0009_0006__RARE)
      & r_0009_0010__sunny(R_0009_0010__SUNNY)
      & r_0009_0015__ice(R_0009_0015__ICE)
      & r_0009_0002__was(R_0009_0002__WAS)
      & has_arg0(R_0009_0002__WAS,R_0009_0009__A_R_0009_0011__PLEASURE__HYPHEN__DOME)
      & r_0009_0009__A_r_0009_0011__pleasure__hyphen__dome(R_0009_0009__A_R_0009_0011__PLEASURE__HYPHEN__DOME)
      & has_r_0009_0012__with(R_0009_0009__A_R_0009_0011__PLEASURE__HYPHEN__DOME,R_0009_0013__CAVES)
      & r_0009_0013__caves(R_0009_0013__CAVES)
      & has_r_0009_0014__of(R_0009_0013__CAVES,R_0009_0015__ICE)
      & has_attrib26(R_0009_0009__A_R_0009_0011__PLEASURE__HYPHEN__DOME,R_0009_0010__SUNNY)
      & has_prd(R_0009_0002__WAS,R_0009_0003__A_R_0009_0004__MIRACLE)
      & r_0009_0003__a_r_0009_0004__miracle(R_0009_0003__A_R_0009_0004__MIRACLE)
      & has_r_0009_0005__of(R_0009_0003__A_R_0009_0004__MIRACLE,R_0009_0007__DEVICE)
      & r_0009_0007__device(R_0009_0007__DEVICE)
      & has_attrib16(R_0009_0007__DEVICE,R_0009_0006__RARE) ) ).


n9_a_coleridge_1798 n9_a_coleridge_1798__1_1_1_1 It n9_a_coleridge_1798__1_2_1 was n9_a_coleridge_1798__1_3_1_1 a n9_a_coleridge_1798__1_3_2_1 miracle n9_a_coleridge_1798__1_3_3_1_1 of n9_a_coleridge_1798__1_3_3_2_1_1_1 rare n9_a_coleridge_1798__1_3_3_2_2_1 device n9_a_coleridge_1798__1_4_1 , n9_a_coleridge_1798__1_5_1_1 A n9_a_coleridge_1798__1_5_2_1_1 sunny n9_a_coleridge_1798__1_5_3_1 pleasure-dome n9_a_coleridge_1798__1_5_4_1_1 with n9_a_coleridge_1798__1_5_4_2_1_1 caves n9_a_coleridge_1798__1_5_4_2_2_1_1 of n9_a_coleridge_1798__1_5_4_2_2_2_1_1 ice n9_a_coleridge_1798__1_6_1 ! n9_a_coleridge_1798__1 IP-MAT n9_a_coleridge_1798__1_1 NP-SBJ n9_a_coleridge_1798__1->n9_a_coleridge_1798__1_1 n9_a_coleridge_1798__1_2 BED;_Ln_ n9_a_coleridge_1798__1->n9_a_coleridge_1798__1_2 n9_a_coleridge_1798__1_3 NP-PRD n9_a_coleridge_1798__1->n9_a_coleridge_1798__1_3 n9_a_coleridge_1798__1_4 PUNC n9_a_coleridge_1798__1->n9_a_coleridge_1798__1_4 n9_a_coleridge_1798__1_5 NP-NSBJ n9_a_coleridge_1798__1->n9_a_coleridge_1798__1_5 n9_a_coleridge_1798__1_6 PUNC n9_a_coleridge_1798__1->n9_a_coleridge_1798__1_6 n9_a_coleridge_1798__1_1_1 PRO;_provisional_ n9_a_coleridge_1798__1_1->n9_a_coleridge_1798__1_1_1 n9_a_coleridge_1798__1_1_1->n9_a_coleridge_1798__1_1_1_1 n9_a_coleridge_1798__1_2->n9_a_coleridge_1798__1_2_1 n9_a_coleridge_1798__1_3_1 D n9_a_coleridge_1798__1_3->n9_a_coleridge_1798__1_3_1 n9_a_coleridge_1798__1_3_2 N n9_a_coleridge_1798__1_3->n9_a_coleridge_1798__1_3_2 n9_a_coleridge_1798__1_3_3 PP n9_a_coleridge_1798__1_3->n9_a_coleridge_1798__1_3_3 n9_a_coleridge_1798__1_3_1->n9_a_coleridge_1798__1_3_1_1 n9_a_coleridge_1798__1_3_2->n9_a_coleridge_1798__1_3_2_1 n9_a_coleridge_1798__1_3_3_1 P-ROLE n9_a_coleridge_1798__1_3_3->n9_a_coleridge_1798__1_3_3_1 n9_a_coleridge_1798__1_3_3_2 NP n9_a_coleridge_1798__1_3_3->n9_a_coleridge_1798__1_3_3_2 n9_a_coleridge_1798__1_3_3_1->n9_a_coleridge_1798__1_3_3_1_1 n9_a_coleridge_1798__1_3_3_2_1 ADJP n9_a_coleridge_1798__1_3_3_2->n9_a_coleridge_1798__1_3_3_2_1 n9_a_coleridge_1798__1_3_3_2_2 N n9_a_coleridge_1798__1_3_3_2->n9_a_coleridge_1798__1_3_3_2_2 n9_a_coleridge_1798__1_3_3_2_1_1 ADJ n9_a_coleridge_1798__1_3_3_2_1->n9_a_coleridge_1798__1_3_3_2_1_1 n9_a_coleridge_1798__1_3_3_2_1_1->n9_a_coleridge_1798__1_3_3_2_1_1_1 n9_a_coleridge_1798__1_3_3_2_2->n9_a_coleridge_1798__1_3_3_2_2_1 n9_a_coleridge_1798__1_4->n9_a_coleridge_1798__1_4_1 n9_a_coleridge_1798__1_5_1 D n9_a_coleridge_1798__1_5->n9_a_coleridge_1798__1_5_1 n9_a_coleridge_1798__1_5_2 ADJP n9_a_coleridge_1798__1_5->n9_a_coleridge_1798__1_5_2 n9_a_coleridge_1798__1_5_3 N n9_a_coleridge_1798__1_5->n9_a_coleridge_1798__1_5_3 n9_a_coleridge_1798__1_5_4 PP n9_a_coleridge_1798__1_5->n9_a_coleridge_1798__1_5_4 n9_a_coleridge_1798__1_5_1->n9_a_coleridge_1798__1_5_1_1 n9_a_coleridge_1798__1_5_2_1 ADJ n9_a_coleridge_1798__1_5_2->n9_a_coleridge_1798__1_5_2_1 n9_a_coleridge_1798__1_5_2_1->n9_a_coleridge_1798__1_5_2_1_1 n9_a_coleridge_1798__1_5_3->n9_a_coleridge_1798__1_5_3_1 n9_a_coleridge_1798__1_5_4_1 P-ROLE n9_a_coleridge_1798__1_5_4->n9_a_coleridge_1798__1_5_4_1 n9_a_coleridge_1798__1_5_4_2 NP n9_a_coleridge_1798__1_5_4->n9_a_coleridge_1798__1_5_4_2 n9_a_coleridge_1798__1_5_4_1->n9_a_coleridge_1798__1_5_4_1_1 n9_a_coleridge_1798__1_5_4_2_1 NS n9_a_coleridge_1798__1_5_4_2->n9_a_coleridge_1798__1_5_4_2_1 n9_a_coleridge_1798__1_5_4_2_2 PP n9_a_coleridge_1798__1_5_4_2->n9_a_coleridge_1798__1_5_4_2_2 n9_a_coleridge_1798__1_5_4_2_1->n9_a_coleridge_1798__1_5_4_2_1_1 n9_a_coleridge_1798__1_5_4_2_2_1 P-ROLE n9_a_coleridge_1798__1_5_4_2_2->n9_a_coleridge_1798__1_5_4_2_2_1 n9_a_coleridge_1798__1_5_4_2_2_2 NP n9_a_coleridge_1798__1_5_4_2_2->n9_a_coleridge_1798__1_5_4_2_2_2 n9_a_coleridge_1798__1_5_4_2_2_1->n9_a_coleridge_1798__1_5_4_2_2_1_1 n9_a_coleridge_1798__1_5_4_2_2_2_1 N n9_a_coleridge_1798__1_5_4_2_2_2->n9_a_coleridge_1798__1_5_4_2_2_2_1 n9_a_coleridge_1798__1_5_4_2_2_2_1->n9_a_coleridge_1798__1_5_4_2_2_2_1_1 n9_a_coleridge_1798__1_6->n9_a_coleridge_1798__1_6_1 
( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BED;_Ln_ was;{be})
          (NP-PRD (D a;{a})
                  (N miracle;{miracle})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ rare;{rare}))
                          (N device;{device}))))
          (PUNC ,)
          (NP-NSBJ;{DOME} (D A;{a})
                          (ADJP (ADJ sunny;{sunny}))
                          (N pleasure_<hyphen>_dome;{pleasure_dome})
                          (PP (P-ROLE with;{with})
                              (NP;{CAVES} (NS caves;{cave})
                                          (PP (P-ROLE of;{of})
                                              (NP (N ice;{ice}))))))
          (PUNC !))
  (ID 9_a_coleridge_1798))