( (IP-MAT (ILYR (ILYR (NP-SBJ;{SON_OF_A} (NP-GEN;{PERSON_A} (PRO;_genm_ My;{my}))
                                         (N son;{son}))
                      (BEP;_Ipr_ <apos>s;{be[in]})
                      (PP-CLR (P-ROLE in;{in})
                              (NP (NPR Year;{Year})
                                  (NPR Nine;{Nine}))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{SON_OF_A} (PRO he;{he}))
                             (HVD;_Tn_ had;{have})
                             (NP-OB1 (D some;{some})
                                     (NLYR (N home;{home})
                                           (PUNC <hyphen>)
                                           (N school;{school}))
                                     (N work;{work})
                                     (IP-INF-REL (NP-OB1 *T*)
                                                 (TO to;{to})
                                                 (DO;_Tn_ do;{do}))))))
          (PUNC .))
  (ID 12_a_lockdown;speaker=a))

arc(r_0012_0002__son,r_0012_0001__My,gen).
arc(r_0012_0003___apos_s_r_0012_0004__in,r_0012_0002__son,arg0).
arc(r_0012_0003___apos_s_r_0012_0004__in,r_0012_0005__Year_r_0012_0006__Nine,arg1).
arc(r_0012_0007__and,r_0012_0003___apos_s_r_0012_0004__in,conj1).
arc(r_0012_0007__and,r_0012_0009__had,conj2).
arc(r_0012_0009__had,r_0012_0002__son,arg0).
arc(r_0012_0009__had,r_0012_0010__some_r_0012_0011__home_r_0012_0013__school_r_0012_0014__work,arg1).
arc(r_0012_0016__do,r_0012_0010__some_r_0012_0011__home_r_0012_0013__school_r_0012_0014__work,inv_arg1).
arc(r_0012_0016__do,z_0012_5006,arg0).

fof(formula,axiom,
    ? [R_0012_0001__MY,R_0012_0002__SON,R_0012_0005__YEAR_R_0012_0006__NINE,R_0012_0003___APOS_S_R_0012_0004__IN,Z_0012_5006,R_0012_0016__DO,R_0012_0010__SOME_R_0012_0011__HOME_R_0012_0013__SCHOOL_R_0012_0014__WORK,R_0012_0009__HAD,R_0012_0007__AND] :
      ( r_0012_0001__My(R_0012_0001__MY)
      & r_0012_0005__Year_r_0012_0006__Nine(R_0012_0005__YEAR_R_0012_0006__NINE)
      & z_0012_5006(Z_0012_5006)
      & r_0012_0007__and(R_0012_0007__AND)
      & has_conj2(R_0012_0007__AND,R_0012_0009__HAD)
      & r_0012_0009__had(R_0012_0009__HAD)
      & has_arg1(R_0012_0009__HAD,R_0012_0010__SOME_R_0012_0011__HOME_R_0012_0013__SCHOOL_R_0012_0014__WORK)
      & r_0012_0010__some_r_0012_0011__home_r_0012_0013__school_r_0012_0014__work(R_0012_0010__SOME_R_0012_0011__HOME_R_0012_0013__SCHOOL_R_0012_0014__WORK)
      & has_inv_arg1(R_0012_0010__SOME_R_0012_0011__HOME_R_0012_0013__SCHOOL_R_0012_0014__WORK,R_0012_0016__DO)
      & r_0012_0016__do(R_0012_0016__DO)
      & has_arg0(R_0012_0016__DO,Z_0012_5006)
      & has_arg0(R_0012_0009__HAD,R_0012_0002__SON)
      & r_0012_0002__son(R_0012_0002__SON)
      & has_gen(R_0012_0002__SON,R_0012_0001__MY)
      & has_conj1(R_0012_0007__AND,R_0012_0003___APOS_S_R_0012_0004__IN)
      & r_0012_0003___apos_s_r_0012_0004__in(R_0012_0003___APOS_S_R_0012_0004__IN)
      & has_arg1(R_0012_0003___APOS_S_R_0012_0004__IN,R_0012_0005__YEAR_R_0012_0006__NINE)
      & has_arg0(R_0012_0003___APOS_S_R_0012_0004__IN,R_0012_0002__SON) ) ).