( (IP-MAT (NP-SBJ;{HUBBY_OF_D} (NP-GEN;{PERSON_D} (PRO;_genm_ My;{my}))
                               (N husband;{husband}))
          (BEP;_cat_Vg_ is;{be})
          (IP-PPL-CAT (VAG;_I_ working;{work})
                      (PP-NIM (P-ROLE from;{from})
                              (NP (N home;{home})))
                      (PP-NIM (P-ROLE during;{during})
                              (NP (D the;{the})
                                  (N lockdown;{lockdown}))))
          (PUNC .))
  (ID 40_a_lockdown;speaker=d))

arc(r_0040_0002__husband,r_0040_0001__My,gen).
arc(r_0040_0003__is,r_0040_0004__working,scope).
arc(r_0040_0004__working,r_0040_0002__husband,arg0).
arc(r_0040_0004__working,r_0040_0006__home,r_0040_0005__from__nim).
arc(r_0040_0004__working,r_0040_0008__the_r_0040_0009__lockdown,r_0040_0007__during__nim).

fof(formula,axiom,
    ? [R_0040_0001__MY,R_0040_0002__HUSBAND,R_0040_0006__HOME,R_0040_0008__THE_R_0040_0009__LOCKDOWN,R_0040_0003__IS_R_0040_0004__WORKING] :
      ( r_0040_0001__My(R_0040_0001__MY)
      & r_0040_0006__home(R_0040_0006__HOME)
      & r_0040_0008__the_r_0040_0009__lockdown(R_0040_0008__THE_R_0040_0009__LOCKDOWN)
      & r_0040_0003__is_r_0040_0004__working(R_0040_0003__IS_R_0040_0004__WORKING)
      & has_r_0040_0007__during__nim(R_0040_0003__IS_R_0040_0004__WORKING,R_0040_0008__THE_R_0040_0009__LOCKDOWN)
      & has_r_0040_0005__from__nim(R_0040_0003__IS_R_0040_0004__WORKING,R_0040_0006__HOME)
      & has_arg0(R_0040_0003__IS_R_0040_0004__WORKING,R_0040_0002__HUSBAND)
      & r_0040_0002__husband(R_0040_0002__HUSBAND)
      & has_gen(R_0040_0002__HUSBAND,R_0040_0001__MY) ) ).