arc(r_0057_0002__was, r_0057_0001__He, arg0).
arc(r_0057_0002__was, r_0057_0005__sorry, prd).
arc(r_0057_0004__very, r_0057_0003__really, qual9).
arc(r_0057_0005__sorry, r_0057_0004__very, qual8).
arc(r_0057_0005__sorry, z_000_57_a_wilde_2_1888_19, r_0057_0006__for).
arc(r_0057_0009__had, r_0057_0010__done, scope).
arc(r_0057_0010__done, r_0057_0001__He, arg0).
arc(r_0057_0010__done, z_000_57_a_wilde_2_1888_19, arg1).

fof(formula,axiom,
    ? [R_0057_0001__HE,R_0057_0003__REALLY,R_0057_0004__VERY,Z_000_57_A_WILDE_2_1888_19,R_0057_0005__SORRY,R_0057_0002__WAS,R_0057_0009__HAD_R_0057_0010__DONE] :
      ( r_0057_0001__He(R_0057_0001__HE)
      & r_0057_0003__really(R_0057_0003__REALLY)
      & z_000_57_a_wilde_2_1888_19(Z_000_57_A_WILDE_2_1888_19)
      & r_0057_0009__had_r_0057_0010__done(R_0057_0009__HAD_R_0057_0010__DONE)
      & has_arg1(R_0057_0009__HAD_R_0057_0010__DONE,Z_000_57_A_WILDE_2_1888_19)
      & has_arg0(R_0057_0009__HAD_R_0057_0010__DONE,R_0057_0001__HE)
      & r_0057_0002__was(R_0057_0002__WAS)
      & has_prd(R_0057_0002__WAS,R_0057_0005__SORRY)
      & r_0057_0005__sorry(R_0057_0005__SORRY)
      & has_r_0057_0006__for(R_0057_0005__SORRY,Z_000_57_A_WILDE_2_1888_19)
      & has_qual8(R_0057_0005__SORRY,R_0057_0004__VERY)
      & r_0057_0004__very(R_0057_0004__VERY)
      & has_qual9(R_0057_0004__VERY,R_0057_0003__REALLY)
      & has_arg0(R_0057_0002__WAS,R_0057_0001__HE) ) ).

( (IP-MAT (NP-SBJ;{GIANT} (PRO He;{he}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADVP (ADVP (ADV really;{really}))
                          (ADV very;{very}))
                    (ADJ sorry;{sorry})
                    (PP (P-ROLE for;{for})
                        (NP (IP-REL (NP-126 (RPRO what;{what}))
                                    (NP-SBJ;{GIANT} (PRO he;{he}))
                                    (HVD;_cat_Ve_ had;{have})
                                    (IP-PPL-CAT (NP-OB1 *ICH*-126)
                                                (DON;_Tn_ done;{do}))))))
          (PUNC .))
  (ID 57_a_wilde_2_1888))