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).

fof(formula,axiom,
    ? [R_9_2_WAS,R_9_9_A_PLEASURE_HYPHEN_DOME,R_9_10_SUNNY,R_9_13_CAVES,R_9_15_ICE,R_9_3_A_MIRACLE,R_9_7_DEVICE,R_9_6_RARE] :
      ( sunny(R_9_10_SUNNY)
      & ice(R_9_15_ICE)
      & rare(R_9_6_RARE)
      & was(R_9_2_WAS,R_9_9_A_PLEASURE_HYPHEN_DOME,R_9_3_A_MIRACLE)
      & a_pleasure_hyphen_dome(R_9_9_A_PLEASURE_HYPHEN_DOME)
      & attrib26(R_9_9_A_PLEASURE_HYPHEN_DOME,R_9_10_SUNNY)
      & with(R_9_9_A_PLEASURE_HYPHEN_DOME,R_9_13_CAVES)
      & caves(R_9_13_CAVES)
      & of(R_9_13_CAVES,R_9_15_ICE)
      & a_miracle(R_9_3_A_MIRACLE)
      & of(R_9_3_A_MIRACLE,R_9_7_DEVICE)
      & device(R_9_7_DEVICE)
      & attrib16(R_9_7_DEVICE,R_9_6_RARE) ) ).

( (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))