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_0009__what, arg1).
arc(r_0050_0012__done, r_0050_0010__he, arg0).
arc(r_0050_0012__done, r_0050_0015__clothes, r_0050_0013__with_nim46).
arc(r_0050_0015__clothes, r_0050_0010__he, gen).
arc(z_000_50_a_potter_1902_15, r_0050_0003__was, scope).
arc(z_000_50_a_potter_1902_15, r_0050_0005__cooking, restriction).
arc(z_000_50_a_potter_1902_2, r_0050_0008__wondered, conj2).
arc(z_000_50_a_potter_1902_2, z_000_50_a_potter_1902_15, conj1).

fof(formula,axiom,
    ? [R_0050_0001__HIS,R_0050_0002__MOTHER,R_0050_0009__WHAT,R_0050_0010__HE,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_000_50_A_POTTER_1902_15,Z_000_50_A_POTTER_1902_2] :
      ( r_0050_0001__His(R_0050_0001__HIS)
      & r_0050_0004__busy(R_0050_0004__BUSY)
      & r_0050_0009__what(R_0050_0009__WHAT)
      & r_0050_0010__he(R_0050_0010__HE)
      & z_000_50_a_potter_1902_2(Z_000_50_A_POTTER_1902_2)
      & has_conj1(Z_000_50_A_POTTER_1902_2,Z_000_50_A_POTTER_1902_15)
      & z_000_50_a_potter_1902_15(Z_000_50_A_POTTER_1902_15)
      & has_conj1(Z_000_50_A_POTTER_1902_15,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_000_50_A_POTTER_1902_15,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_000_50_A_POTTER_1902_2,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_nim46(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_0010__HE)
      & has_arg0(R_0050_0011__HAD_R_0050_0012__DONE,R_0050_0010__HE)
      & has_arg1(R_0050_0011__HAD_R_0050_0012__DONE,R_0050_0009__WHAT)
      & has_arg0(R_0050_0008__WONDERED,R_0050_0002__MOTHER) ) ).

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