8_a_coleridge_1798
It was a miracle of rare device, A sunny pleasure-dome with caves of ice!
( (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 8_a_coleridge_1798))
arc(r_0008_0002__was,r_0008_0003__a_r_0008_0004__miracle,prd).
arc(r_0008_0002__was,r_0008_0009__A_r_0008_0011__pleasure__hyphen__dome,arg0).
arc(r_0008_0003__a_r_0008_0004__miracle,r_0008_0007__device,r_0008_0005__of).
arc(r_0008_0007__device,r_0008_0006__rare,attrib).
arc(r_0008_0009__A_r_0008_0011__pleasure__hyphen__dome,r_0008_0010__sunny,attrib).
arc(r_0008_0009__A_r_0008_0011__pleasure__hyphen__dome,r_0008_0013__caves,r_0008_0012__with).
arc(r_0008_0013__caves,r_0008_0015__ice,r_0008_0014__of).
fof(formula,axiom,
? [R_0008_0006__RARE,R_0008_0007__DEVICE,R_0008_0003__A_R_0008_0004__MIRACLE,R_0008_0010__SUNNY,R_0008_0015__ICE,R_0008_0013__CAVES,R_0008_0009__A_R_0008_0011__PLEASURE__HYPHEN__DOME,R_0008_0002__WAS] :
( r_0008_0006__rare(R_0008_0006__RARE)
& r_0008_0010__sunny(R_0008_0010__SUNNY)
& r_0008_0015__ice(R_0008_0015__ICE)
& r_0008_0002__was(R_0008_0002__WAS)
& has_arg0(R_0008_0002__WAS,R_0008_0009__A_R_0008_0011__PLEASURE__HYPHEN__DOME)
& r_0008_0009__A_r_0008_0011__pleasure__hyphen__dome(R_0008_0009__A_R_0008_0011__PLEASURE__HYPHEN__DOME)
& has_r_0008_0012__with(R_0008_0009__A_R_0008_0011__PLEASURE__HYPHEN__DOME,R_0008_0013__CAVES)
& r_0008_0013__caves(R_0008_0013__CAVES)
& has_r_0008_0014__of(R_0008_0013__CAVES,R_0008_0015__ICE)
& has_attrib(R_0008_0009__A_R_0008_0011__PLEASURE__HYPHEN__DOME,R_0008_0010__SUNNY)
& has_prd(R_0008_0002__WAS,R_0008_0003__A_R_0008_0004__MIRACLE)
& r_0008_0003__a_r_0008_0004__miracle(R_0008_0003__A_R_0008_0004__MIRACLE)
& has_r_0008_0005__of(R_0008_0003__A_R_0008_0004__MIRACLE,R_0008_0007__DEVICE)
& r_0008_0007__device(R_0008_0007__DEVICE)
& has_attrib(R_0008_0007__DEVICE,R_0008_0006__RARE) ) ).