arc(r_0010_0003__submitted, r_0010_0002__I, arg0).
arc(r_0010_0003__submitted, r_0010_0004__a_r_0010_0005__presentation, arg1).
arc(r_0010_0007__had, r_0010_0002__I, arg0).
arc(r_0010_0007__had, r_0010_0004__a_r_0010_0005__presentation, arg1).
arc(r_0010_0007__had, r_0010_0009__work, r_0010_0008__from_nim25).
arc(r_0010_0007__had, r_0010_0014__homework, r_0010_0010__for_nim31).
arc(r_0010_0012__son_r_0010_0013___apos_s, r_0010_0002__I, gen).
arc(r_0010_0014__homework, r_0010_0012__son_r_0010_0013___apos_s, gen).
arc(r_0010_0015__as, r_0010_0003__submitted, scope).
arc(r_0010_0015__as, r_0010_0017__had, restriction).
arc(r_0010_0017__had, r_0010_0018__forgotten, scope).
arc(r_0010_0018__forgotten, r_0010_0012__son_r_0010_0013___apos_s, arg0).
arc(r_0010_0018__forgotten, r_0010_0019__to_r_0010_0020__do, arg1).
arc(r_0010_0019__to_r_0010_0020__do, r_0010_0012__son_r_0010_0013___apos_s, arg0).
arc(r_0010_0019__to_r_0010_0020__do, r_0010_0014__homework, arg1).

fof(formula,axiom,
    ? [R_10_7_HAD,R_10_9_WORK,R_10_15_AS,R_10_17_HAD_FORGOTTEN,R_10_19_TO_DO,R_10_14_HOMEWORK,R_10_12_SON_APOS_S,R_10_3_SUBMITTED,R_10_2_I,R_10_4_A_PRESENTATION] :
      ( work(R_10_9_WORK)
      & i(R_10_2_I)
      & a_presentation(R_10_4_A_PRESENTATION)
      & had(R_10_7_HAD,R_10_2_I,R_10_4_A_PRESENTATION)
      & from_nim25(R_10_7_HAD,R_10_9_WORK)
      & for_nim31(R_10_7_HAD,R_10_14_HOMEWORK)
      & homework(R_10_14_HOMEWORK)
      & gen(R_10_14_HOMEWORK,R_10_12_SON_APOS_S)
      & son_apos_s(R_10_12_SON_APOS_S)
      & gen(R_10_12_SON_APOS_S,R_10_2_I)
      & as(R_10_15_AS)
      & conj1(R_10_15_AS,R_10_17_HAD_FORGOTTEN)
      & had_forgotten(R_10_17_HAD_FORGOTTEN,R_10_12_SON_APOS_S,R_10_19_TO_DO)
      & to_do(R_10_19_TO_DO,R_10_12_SON_APOS_S,R_10_14_HOMEWORK)
      & conj2(R_10_15_AS,R_10_3_SUBMITTED)
      & submitted(R_10_3_SUBMITTED,R_10_2_I,R_10_4_A_PRESENTATION) ) ).

( (IP-MAT (PUNC <bbold>)
          (NP-SBJ;{PERSON_A} (PRO I;{I}))
          (VBD;_Tn_ submitted;{submit})
          (NP-OB1 (D a;{a})
                  (N presentation;{presentation})
                  (IP-REL (NP-OB1 *T*)
                          (NP-SBJ;{PERSON_A} (PRO I;{I}))
                          (HVD;_Tn_ had;{have})
                          (PP-NIM (P-ROLE from;{from})
                                  (NP (N work;{work})))
                          (PP-NIM (P-ROLE for;{for})
                                  (NP;{HOMEWORK} (NP-GEN;{SON_OF_A} (NP-GEN;{PERSON_A} (PRO;_genm_ my;{my}))
                                                                    (N son;{son})
                                                                    (GENM <apos>s))
                                                 (N homework;{homework})))))
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ;{SON_OF_A} (PRO he;{he}))
                           (HVD;_cat_Ve_ had;{have})
                           (IP-PPL-CAT (VVN;_Tt_ forgotten;{forget})
                                       (IP-INF-OB1 (TO to;{to})
                                                   (DO;_Tn_ do;{do})
                                                   (NP-OB1;{HOMEWORK} (PRO it;{it}))))))
          (PUNC .)
          (PUNC <ebold>))
  (ID 10_a_lockdown;speaker=a))