arc(r_0154_0001__The_r_0154_0003__man, r_0154_0002__young, attrib9).
arc(r_0154_0004__had, r_0154_0001__The_r_0154_0003__man, arg0).
arc(r_0154_0004__had, r_0154_0006__head, arg1).
arc(r_0154_0004__had, r_0154_0007__buried, prd).
arc(r_0154_0006__head, r_0154_0001__The_r_0154_0003__man, gen).
arc(r_0154_0007__buried, r_0154_0010__hands, r_0154_0008__in_nim30).
arc(r_0154_0007__buried, x_000_154_a_wilde_1_1888_22, arg1).
arc(r_0154_0007__buried, z_000_154_a_wilde_1_1888_23, arg0).
arc(r_0154_0010__hands, r_0154_0001__The_r_0154_0003__man, gen).
arc(r_0154_0014__did_r_0154_0016__hear, r_0154_0001__The_r_0154_0003__man, arg0).
arc(r_0154_0014__did_r_0154_0016__hear, r_0154_0012__so, nim40).
arc(r_0154_0014__did_r_0154_0016__hear, r_0154_0017__the_r_0154_0018__flutter, arg1).
arc(r_0154_0015__not, r_0154_0014__did_r_0154_0016__hear, keep_scope).
arc(r_0154_0017__the_r_0154_0018__flutter, r_0154_0023__wings, r_0154_0019__of).
arc(r_0154_0023__wings, r_0154_0020__the_r_0154_0021__bird_r_0154_0022___apos_s, gen).
arc(r_0154_0025__and, r_0154_0026__when, conj2).
arc(r_0154_0025__and, z_000_154_a_wilde_1_1888_4, conj1).
arc(r_0154_0026__when, r_0154_0028__looked_r_0154_0029__up, restriction).
arc(r_0154_0026__when, r_0154_0031__found, scope).
arc(r_0154_0028__looked_r_0154_0029__up, r_0154_0001__The_r_0154_0003__man, arg0).
arc(r_0154_0031__found, r_0154_0001__The_r_0154_0003__man, arg0).
arc(r_0154_0031__found, r_0154_0032__the_r_0154_0034__sapphire, arg1).
arc(r_0154_0031__found, r_0154_0035__lying, prd).
arc(r_0154_0032__the_r_0154_0034__sapphire, r_0154_0033__beautiful, attrib95).
arc(r_0154_0035__lying, r_0154_0037__the_r_0154_0039__violets, r_0154_0036__on_clr106).
arc(r_0154_0035__lying, x_000_154_a_wilde_1_1888_100, arg0).
arc(r_0154_0037__the_r_0154_0039__violets, r_0154_0038__withered, attrib109).
arc(z_000_154_a_wilde_1_1888_4, r_0154_0004__had, conj1).
arc(z_000_154_a_wilde_1_1888_4, r_0154_0015__not, conj2).

fof(formula,axiom,
    ? [R_154_25_AND,Z_154_A_WILDE_1_1888_4,R_154_4_HAD,R_154_6_HEAD,R_154_7_BURIED,Z_154_A_WILDE_1_1888_23,X_154_A_WILDE_1_1888_22,R_154_10_HANDS,R_154_1_THE_MAN,R_154_2_YOUNG] :
      ( young(R_154_2_YOUNG)
      & ! [R_154_28_LOOKED_UP] :
          ( looked_up(R_154_28_LOOKED_UP,R_154_1_THE_MAN)
         => ? [R_154_31_FOUND,R_154_32_THE_SAPPHIRE,R_154_33_BEAUTIFUL,R_154_35_LYING,X_154_A_WILDE_1_1888_100,R_154_37_THE_VIOLETS,R_154_38_WITHERED] :
              ( beautiful(R_154_33_BEAUTIFUL)
              & withered(R_154_38_WITHERED)
              & found(R_154_31_FOUND,R_154_1_THE_MAN,R_154_32_THE_SAPPHIRE,R_154_35_LYING)
              & the_sapphire(R_154_32_THE_SAPPHIRE)
              & attrib95(R_154_32_THE_SAPPHIRE,R_154_33_BEAUTIFUL)
              & lying(R_154_35_LYING,X_154_A_WILDE_1_1888_100)
              & on_clr106(R_154_35_LYING,R_154_37_THE_VIOLETS)
              & the_violets(R_154_37_THE_VIOLETS)
              & attrib109(R_154_37_THE_VIOLETS,R_154_38_WITHERED) ) )
      & conj2(CONJ2)
      & and(R_154_25_AND)
      & conj1(R_154_25_AND,Z_154_A_WILDE_1_1888_4)
      & z_154_a_wilde_1_1888_4(Z_154_A_WILDE_1_1888_4)
      & conj1(Z_154_A_WILDE_1_1888_4,R_154_4_HAD)
      & had(R_154_4_HAD,R_154_1_THE_MAN,R_154_6_HEAD,R_154_7_BURIED)
      & the_man(R_154_1_THE_MAN)
      & attrib9(R_154_1_THE_MAN,R_154_2_YOUNG)
      & head(R_154_6_HEAD)
      & gen(R_154_6_HEAD,R_154_1_THE_MAN)
      & buried(R_154_7_BURIED,Z_154_A_WILDE_1_1888_23,X_154_A_WILDE_1_1888_22)
      & in_nim30(R_154_7_BURIED,R_154_10_HANDS)
      & hands(R_154_10_HANDS)
      & gen(R_154_10_HANDS,R_154_1_THE_MAN)
      & conj2(Z_154_A_WILDE_1_1888_4,R_154_15_NOT)
      & ~ ? [R_154_14_DID_HEAR,R_154_17_THE_FLUTTER,R_154_23_WINGS,R_154_20_THE_BIRD_APOS_S,R_154_12_SO] :
            ( the_bird_apos_s(R_154_20_THE_BIRD_APOS_S)
            & so(R_154_12_SO)
            & did_hear(R_154_14_DID_HEAR,R_154_1_THE_MAN,R_154_17_THE_FLUTTER)
            & the_flutter(R_154_17_THE_FLUTTER)
            & of(R_154_17_THE_FLUTTER,R_154_23_WINGS)
            & wings(R_154_23_WINGS)
            & gen(R_154_23_WINGS,R_154_20_THE_BIRD_APOS_S)
            & nim40(R_154_14_DID_HEAR,R_154_12_SO) ) ) ).

( (IP-MAT (ILYR (ILYR (ILYR (ILYR (NP-SBJ;{WRITER} (D The;{the})
                                                   (ADJP (ADJ young;{young}))
                                                   (N man;{man}))
                                  (HVD;_VP24B_ had;{have})
                                  (NP-OB1 (NP-GEN;{WRITER} (PRO;_genm_ his;{his}))
                                          (N head;{head}))
                                  (IP-PPL-PRD (NP-LGS *)
                                              (VVN;_Tn.pr_ buried;{bury})
                                              (PP-NIM (P-ROLE in;{in})
                                                      (NP (NP-GEN;{WRITER} (PRO;_genm_ his;{his}))
                                                          (NS hands;{hand})))))
                            (PUNC ,)
                            (CONJP (ILYR (ADVP-NIM (ADV so;{so}))
                                         (NP-SBJ;{WRITER} (PRO he;{he}))
                                         (DOD did;{do})
                                         (NEG not;{not})
                                         (VB;_Tn_ hear;{hear})
                                         (NP-OB1 (D the;{the})
                                                 (N flutter;{flutter})
                                                 (PP (P-ROLE of;{of})
                                                     (NP (NP-GEN;{SWALLOW} (D the;{the})
                                                                           (N bird;{bird})
                                                                           (GENM <apos>s))
                                                         (NS wings;{wing}))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN when;{when})
                                      (IP-ADV (NP-SBJ;{WRITER} (PRO he;{he}))
                                              (VBD;_phr_Vp_ looked;{look[up]})
                                              (RP up;{up})))
                             (NP-SBJ;{WRITER} (PRO he;{he}))
                             (VBD;_Cn.g_ found;{find})
                             (NP-OB1;{SAPPHIRE} (D the;{the})
                                                (ADJP (ADJ beautiful;{beautiful}))
                                                (N sapphire;{sapphire}))
                             (IP-PPL-PRD (VAG;_Ipr_ lying;{lie[on]})
                                         (PP-CLR (P-ROLE on;{on})
                                                 (NP (D the;{the})
                                                     (ADJP (ADJ withered;{withered}))
                                                     (NS violets;{violet})))))))
          (PUNC .))
  (ID 154_a_wilde_1_1888))