( (IP-MAT (ILYR (ILYR (NP-SBJ;{MOTHER} (NP-GEN;{PETER} (PRO;_genm_ His;{his}))
                                       (N mother;{mother}))
                      (BED;_La_ was;{be})
                      (ADJP-PRD (ADJ busy;{busy}))
                      (PP-SCON (IP-PPL (VAG;_I_ cooking;{cook}))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ;{MOTHER} (PRO she;{she}))
                             (VBD;_Tw_ wondered;{wonder})
                             (CP-QUE-OB1 (IP-SUB (NP-143 (WPRO what;{what}))
                                                 (NP-SBJ;{PETER} (PRO he;{he}))
                                                 (HVD;_cat_Ve_ had;{have})
                                                 (IP-PPL-CAT (NP-OB1 *ICH*-143)
                                                             (DON;_Tn_ done;{do})
                                                             (PP-NIM (P-ROLE with;{with})
                                                                     (NP (NP-GEN;{PETER} (PRO;_genm_ his;{his}))
                                                                         (NS clothes;{clothes})))))))))
          (PUNC .))
  (ID 50_a_potter_1902))

arc(r_0050_0002__mother,r_0050_0001__His,gen).
arc(r_0050_0003__was,r_0050_0002__mother,arg0).
arc(r_0050_0003__was,r_0050_0004__busy,prd).
arc(r_0050_0005__cooking,r_0050_0002__mother,arg0).
arc(r_0050_0008__wondered,r_0050_0002__mother,arg0).
arc(r_0050_0008__wondered,r_0050_0011__had,arg1).
arc(r_0050_0011__had,r_0050_0012__done,scope).
arc(r_0050_0012__done,r_0050_0001__His,arg0).
arc(r_0050_0012__done,r_0050_0009__what,arg1).
arc(r_0050_0012__done,r_0050_0015__clothes,r_0050_0013__with__nim).
arc(r_0050_0015__clothes,r_0050_0001__His,gen).
arc(z_0050_5001,r_0050_0008__wondered,conj2).
arc(z_0050_5001,z_0050_5003,conj1).
arc(z_0050_5003,r_0050_0003__was,scope).
arc(z_0050_5003,r_0050_0005__cooking,restriction).

fof(formula,axiom,
    ? [R_0050_0001__HIS,R_0050_0002__MOTHER,R_0050_0009__WHAT,R_0050_0015__CLOTHES,R_0050_0011__HAD_R_0050_0012__DONE,R_0050_0008__WONDERED,R_0050_0004__BUSY,R_0050_0003__WAS,R_0050_0005__COOKING,Z_0050_5003,Z_0050_5001] :
      ( r_0050_0001__His(R_0050_0001__HIS)
      & r_0050_0004__busy(R_0050_0004__BUSY)
      & r_0050_0009__what(R_0050_0009__WHAT)
      & z_0050_5001(Z_0050_5001)
      & has_conj1(Z_0050_5001,Z_0050_5003)
      & z_0050_5003(Z_0050_5003)
      & has_conj1(Z_0050_5003,R_0050_0005__COOKING)
      & r_0050_0005__cooking(R_0050_0005__COOKING)
      & has_arg0(R_0050_0005__COOKING,R_0050_0002__MOTHER)
      & r_0050_0002__mother(R_0050_0002__MOTHER)
      & has_gen(R_0050_0002__MOTHER,R_0050_0001__HIS)
      & has_conj2(Z_0050_5003,R_0050_0003__WAS)
      & r_0050_0003__was(R_0050_0003__WAS)
      & has_prd(R_0050_0003__WAS,R_0050_0004__BUSY)
      & has_arg0(R_0050_0003__WAS,R_0050_0002__MOTHER)
      & has_conj2(Z_0050_5001,R_0050_0008__WONDERED)
      & r_0050_0008__wondered(R_0050_0008__WONDERED)
      & has_arg1(R_0050_0008__WONDERED,R_0050_0011__HAD_R_0050_0012__DONE)
      & r_0050_0011__had_r_0050_0012__done(R_0050_0011__HAD_R_0050_0012__DONE)
      & has_r_0050_0013__with__nim(R_0050_0011__HAD_R_0050_0012__DONE,R_0050_0015__CLOTHES)
      & r_0050_0015__clothes(R_0050_0015__CLOTHES)
      & has_gen(R_0050_0015__CLOTHES,R_0050_0001__HIS)
      & has_arg1(R_0050_0011__HAD_R_0050_0012__DONE,R_0050_0009__WHAT)
      & has_arg0(R_0050_0011__HAD_R_0050_0012__DONE,R_0050_0001__HIS)
      & has_arg0(R_0050_0008__WONDERED,R_0050_0002__MOTHER) ) ).