( (IP-MAT (NP-SBJ;{HUBBY_OF_D} (NP-GEN;{PERSON_D} (PRO;_genm_ My;{my}))
                               (N husband;{husband}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (VAG;_Tf_ pretending;{pretend})
                      (CP-THT-OB1 (IP-SUB (NP-SBJ (Q;_nphd_ nothing;{nothing}))
                                          (HVD;_cat_Ve_ had;{have})
                                          (IP-PPL-CAT (VVN;_I_ happened;{happen})))))
          (PUNC .))
  (ID 49_a_lockdown;speaker=d))

arc(r_0049_0002__husband,r_0049_0001__My,gen).
arc(r_0049_0003__was,r_0049_0004__pretending,scope).
arc(r_0049_0004__pretending,r_0049_0002__husband,arg0).
arc(r_0049_0004__pretending,r_0049_0005__nothing__quant,arg1).
arc(r_0049_0005__nothing__quant,r_0049_0006__had,scope).
arc(r_0049_0005__nothing__quant,z_0049_5006,restriction).
arc(r_0049_0006__had,r_0049_0007__happened,scope).
arc(r_0049_0007__happened,z_0049_5006,arg0).

fof(formula,axiom,
    ? [R_0049_0001__MY,R_0049_0002__HUSBAND,R_0049_0003__WAS_R_0049_0004__PRETENDING] :
      ( r_0049_0001__My(R_0049_0001__MY)
      & r_0049_0003__was_r_0049_0004__pretending(R_0049_0003__WAS_R_0049_0004__PRETENDING)
      & ! [Z_0049_5006] :
          ( z_0049_5006(Z_0049_5006)
         => ? [R_0049_0006__HAD_R_0049_0007__HAPPENED] :
              ( r_0049_0006__had_r_0049_0007__happened(R_0049_0006__HAD_R_0049_0007__HAPPENED)
              & has_arg0(R_0049_0006__HAD_R_0049_0007__HAPPENED,Z_0049_5006) ) )
      & has_arg0(R_0049_0003__WAS_R_0049_0004__PRETENDING,R_0049_0002__HUSBAND)
      & r_0049_0002__husband(R_0049_0002__HUSBAND)
      & has_gen(R_0049_0002__HUSBAND,R_0049_0001__MY) ) ).