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

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,qual).
arc(r_0057_0005__sorry,r_0057_0004__very,qual).
arc(r_0057_0005__sorry,r_0057_0007__what,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,r_0057_0007__what,arg1).

fof(formula,axiom,
    ? [R_0057_0001__HE,R_0057_0003__REALLY,R_0057_0004__VERY,R_0057_0007__WHAT,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)
      & r_0057_0007__what(R_0057_0007__WHAT)
      & 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,R_0057_0007__WHAT)
      & 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,R_0057_0007__WHAT)
      & has_qual(R_0057_0005__SORRY,R_0057_0004__VERY)
      & r_0057_0004__very(R_0057_0004__VERY)
      & has_qual(R_0057_0004__VERY,R_0057_0003__REALLY)
      & has_arg0(R_0057_0002__WAS,R_0057_0001__HE) ) ).