arc(r_0044_0002__saw, r_0044_0001__He, arg0).
arc(r_0044_0002__saw, r_0044_0003__a_r_0044_0006__sight, arg1).
arc(r_0044_0003__a_r_0044_0006__sight, r_0044_0005__wonderful, attrib10).
arc(r_0044_0005__wonderful, r_0044_0004__most, qual11).

fof(formula,axiom,
    ? [R_0044_0001__HE,R_0044_0004__MOST,R_0044_0005__WONDERFUL,R_0044_0003__A_R_0044_0006__SIGHT,R_0044_0002__SAW] :
      ( r_0044_0001__He(R_0044_0001__HE)
      & r_0044_0004__most(R_0044_0004__MOST)
      & r_0044_0002__saw(R_0044_0002__SAW)
      & has_arg1(R_0044_0002__SAW,R_0044_0003__A_R_0044_0006__SIGHT)
      & r_0044_0003__a_r_0044_0006__sight(R_0044_0003__A_R_0044_0006__SIGHT)
      & has_attrib10(R_0044_0003__A_R_0044_0006__SIGHT,R_0044_0005__WONDERFUL)
      & r_0044_0005__wonderful(R_0044_0005__WONDERFUL)
      & has_qual11(R_0044_0005__WONDERFUL,R_0044_0004__MOST)
      & has_arg0(R_0044_0002__SAW,R_0044_0001__HE) ) ).

( (IP-MAT (NP-SBJ;{GIANT} (PRO He;{he}))
          (VBD;__ saw;{see})
          (NP-OB1 (D a;{a})
                  (ADJP (ADVP (ADVS most;{most}))
                        (ADJ wonderful;{wonderful}))
                  (N sight;{sight}))
          (PUNC .))
  (ID 44_a_wilde_2_1888))