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

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,inv_arg1).
arc(r_0010_0007__had,r_0010_0009__work,r_0010_0008__from__nim).
arc(r_0010_0007__had,r_0010_0014__homework,r_0010_0010__for__nim).
arc(r_0010_0012__son,r_0010_0002__I,gen).
arc(r_0010_0014__homework,r_0010_0012__son,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,arg0).
arc(r_0010_0018__forgotten,r_0010_0020__do,arg1).
arc(r_0010_0020__do,r_0010_0012__son,arg0).
arc(r_0010_0020__do,r_0010_0014__homework,arg1).

fof(formula,axiom,
    ? [R_0010_0002__I,R_0010_0009__WORK,R_0010_0012__SON,R_0010_0014__HOMEWORK,R_0010_0007__HAD,R_0010_0004__A_R_0010_0005__PRESENTATION,R_0010_0003__SUBMITTED,R_0010_0020__DO,R_0010_0017__HAD_R_0010_0018__FORGOTTEN,R_0010_0015__AS] :
      ( r_0010_0002__I(R_0010_0002__I)
      & r_0010_0009__work(R_0010_0009__WORK)
      & r_0010_0015__as(R_0010_0015__AS)
      & has_conj1(R_0010_0015__AS,R_0010_0017__HAD_R_0010_0018__FORGOTTEN)
      & r_0010_0017__had_r_0010_0018__forgotten(R_0010_0017__HAD_R_0010_0018__FORGOTTEN)
      & has_arg1(R_0010_0017__HAD_R_0010_0018__FORGOTTEN,R_0010_0020__DO)
      & r_0010_0020__do(R_0010_0020__DO)
      & has_arg1(R_0010_0020__DO,R_0010_0014__HOMEWORK)
      & r_0010_0014__homework(R_0010_0014__HOMEWORK)
      & has_gen(R_0010_0014__HOMEWORK,R_0010_0012__SON)
      & r_0010_0012__son(R_0010_0012__SON)
      & has_gen(R_0010_0012__SON,R_0010_0002__I)
      & has_arg0(R_0010_0020__DO,R_0010_0012__SON)
      & has_arg0(R_0010_0017__HAD_R_0010_0018__FORGOTTEN,R_0010_0012__SON)
      & has_conj2(R_0010_0015__AS,R_0010_0003__SUBMITTED)
      & r_0010_0003__submitted(R_0010_0003__SUBMITTED)
      & has_arg1(R_0010_0003__SUBMITTED,R_0010_0004__A_R_0010_0005__PRESENTATION)
      & r_0010_0004__a_r_0010_0005__presentation(R_0010_0004__A_R_0010_0005__PRESENTATION)
      & has_inv_arg1(R_0010_0004__A_R_0010_0005__PRESENTATION,R_0010_0007__HAD)
      & r_0010_0007__had(R_0010_0007__HAD)
      & has_r_0010_0010__for__nim(R_0010_0007__HAD,R_0010_0014__HOMEWORK)
      & has_r_0010_0008__from__nim(R_0010_0007__HAD,R_0010_0009__WORK)
      & has_arg0(R_0010_0007__HAD,R_0010_0002__I)
      & has_arg0(R_0010_0003__SUBMITTED,R_0010_0002__I) ) ).