arc(r_0012_0002__son, r_0012_0001__My, gen).
arc(r_0012_0003___apos_s, r_0012_0002__son, arg0).
arc(r_0012_0003___apos_s, r_0012_0005__Year_r_0012_0006__Nine, r_0012_0004__in_clr15).
arc(r_0012_0007__and, r_0012_0003___apos_s, 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_0015__to_r_0012_0016__do, r_0012_0010__some_r_0012_0011__home_r_0012_0013__school_r_0012_0014__work, arg1).
arc(r_0012_0015__to_r_0012_0016__do, z_000_12_a_lockdown_40, 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_0010__SOME_R_0012_0011__HOME_R_0012_0013__SCHOOL_R_0012_0014__WORK,R_0012_0009__HAD,R_0012_0007__AND,Z_000_12_A_LOCKDOWN_40,R_0012_0015__TO_R_0012_0016__DO] :
      ( r_0012_0001__My(R_0012_0001__MY)
      & r_0012_0005__Year_r_0012_0006__Nine(R_0012_0005__YEAR_R_0012_0006__NINE)
      & 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)
      & z_000_12_a_lockdown_40(Z_000_12_A_LOCKDOWN_40)
      & r_0012_0015__to_r_0012_0016__do(R_0012_0015__TO_R_0012_0016__DO)
      & has_arg0(R_0012_0015__TO_R_0012_0016__DO,Z_000_12_A_LOCKDOWN_40)
      & has_arg1(R_0012_0015__TO_R_0012_0016__DO,R_0012_0010__SOME_R_0012_0011__HOME_R_0012_0013__SCHOOL_R_0012_0014__WORK)
      & 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)
      & 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_0003___apos_s(R_0012_0003___APOS_S)
      & has_r_0012_0004__in_clr15(R_0012_0003___APOS_S,R_0012_0005__YEAR_R_0012_0006__NINE)
      & has_arg0(R_0012_0003___APOS_S,R_0012_0002__SON) ) ).

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