arc(r_0003_0002__was, r_0003_0003__gilded, scope).
arc(r_0003_0003__gilded, r_0003_0001__He, arg1).
arc(r_0003_0003__gilded, r_0003_0005__over, nim14).
arc(r_0003_0003__gilded, r_0003_0008__leaves, r_0003_0006__with_nim23).
arc(r_0003_0003__gilded, z_000_3_a_wilde_1_1888_10, arg0).
arc(r_0003_0005__over, r_0003_0004__all, qual15).
arc(r_0003_0008__leaves, r_0003_0007__thin, attrib24).
arc(r_0003_0008__leaves, r_0003_0011__gold, r_0003_0009__of).
arc(r_0003_0011__gold, r_0003_0010__fine, attrib33).
arc(r_0003_0016__had, r_0003_0014__eyes, r_0003_0013__for_nim45).
arc(r_0003_0016__had, r_0003_0015__he, arg0).
arc(r_0003_0016__had, r_0003_0017__two_r_0003_0019__sapphires, arg1).
arc(r_0003_0017__two_r_0003_0019__sapphires, r_0003_0018__bright, attrib56).
arc(r_0003_0021__and, r_0003_0002__was, conj1).
arc(r_0003_0021__and, r_0003_0016__had, conj2).
arc(r_0003_0021__and, r_0003_0026__glowed, conj3).
arc(r_0003_0022__a_r_0003_0025__ruby, r_0003_0023__large, attrib70).
arc(r_0003_0022__a_r_0003_0025__ruby, r_0003_0024__red, attrib73).
arc(r_0003_0026__glowed, r_0003_0022__a_r_0003_0025__ruby, arg0).
arc(r_0003_0026__glowed, r_0003_0029__sword__hyphen__hilt, r_0003_0027__on_nim83).
arc(r_0003_0029__sword__hyphen__hilt, r_0003_0028__his, gen).

fof(formula,axiom,
    ? [R_3_21_AND,R_3_2_WAS_GILDED,Z_3_A_WILDE_1_1888_10,R_3_1_HE,R_3_5_OVER,R_3_4_ALL,R_3_8_LEAVES,R_3_7_THIN,R_3_11_GOLD,R_3_10_FINE,R_3_16_HAD,R_3_15_HE,R_3_17_TWO_SAPPHIRES,R_3_18_BRIGHT,R_3_14_EYES,R_3_26_GLOWED,R_3_22_A_RUBY,R_3_23_LARGE,R_3_24_RED,R_3_29_SWORD_HYPHEN_HILT,R_3_28_HIS] :
      ( he(R_3_1_HE)
      & all(R_3_4_ALL)
      & thin(R_3_7_THIN)
      & fine(R_3_10_FINE)
      & he(R_3_15_HE)
      & bright(R_3_18_BRIGHT)
      & eyes(R_3_14_EYES)
      & large(R_3_23_LARGE)
      & red(R_3_24_RED)
      & his(R_3_28_HIS)
      & and(R_3_21_AND)
      & conj1(R_3_21_AND,R_3_2_WAS_GILDED)
      & was_gilded(R_3_2_WAS_GILDED,Z_3_A_WILDE_1_1888_10,R_3_1_HE)
      & nim14(R_3_2_WAS_GILDED,R_3_5_OVER)
      & over(R_3_5_OVER)
      & qual15(R_3_5_OVER,R_3_4_ALL)
      & with_nim23(R_3_2_WAS_GILDED,R_3_8_LEAVES)
      & leaves(R_3_8_LEAVES)
      & attrib24(R_3_8_LEAVES,R_3_7_THIN)
      & of(R_3_8_LEAVES,R_3_11_GOLD)
      & gold(R_3_11_GOLD)
      & attrib33(R_3_11_GOLD,R_3_10_FINE)
      & conj2(R_3_21_AND,R_3_16_HAD)
      & had(R_3_16_HAD,R_3_15_HE,R_3_17_TWO_SAPPHIRES)
      & two_sapphires(R_3_17_TWO_SAPPHIRES)
      & attrib56(R_3_17_TWO_SAPPHIRES,R_3_18_BRIGHT)
      & for_nim45(R_3_16_HAD,R_3_14_EYES)
      & conj3(R_3_21_AND,R_3_26_GLOWED)
      & glowed(R_3_26_GLOWED,R_3_22_A_RUBY)
      & a_ruby(R_3_22_A_RUBY)
      & attrib70(R_3_22_A_RUBY,R_3_23_LARGE)
      & attrib73(R_3_22_A_RUBY,R_3_24_RED)
      & on_nim83(R_3_26_GLOWED,R_3_29_SWORD_HYPHEN_HILT)
      & sword_hyphen_hilt(R_3_29_SWORD_HYPHEN_HILT)
      & gen(R_3_29_SWORD_HYPHEN_HILT,R_3_28_HIS) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{PRINCE} (PRO He;{he}))
                      (BED;_cat_VePASS_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ gilded;{gild})
                                  (ADVP-NIM (ADVP (ADV all;{all}))
                                            (ADVR over;{over}))
                                  (PP-NIM (P-ROLE with;{with})
                                          (NP (ADJP (ADJ thin;{thin}))
                                              (NS leaves;{leaf})
                                              (PP (P-ROLE of;{of})
                                                  (NP (ADJP (ADJ fine;{fine}))
                                                      (N gold;{gold})))))))
                (PUNC ,)
                (CONJP (ILYR (PP-NIM (P-ROLE for;{for})
                                     (NP (NS eyes;{eye})))
                             (NP-SBJ;{PRINCE} (PRO he;{he}))
                             (HVD;_Tn_ had;{have})
                             (NP-OB1 (NUM two;{two})
                                     (ADJP (ADJ bright;{bright}))
                                     (NS sapphires;{sapphire}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D a;{a})
                                     (ADJP (ADJ large;{large}))
                                     (ADJP (ADJ red;{red}))
                                     (N ruby;{ruby}))
                             (VBD;_I_ glowed;{glow})
                             (PP-NIM (P-ROLE on;{on})
                                     (NP (NP-GEN;{PRINCE} (PRO;_genm_ his;{his}))
                                         (N sword_<hyphen>_hilt;{sword_hilt}))))))
          (PUNC .))
  (ID 3_a_wilde_1_1888))