arc(r_0039_0003__flashed, r_0039_0002__I, arg0).
arc(r_0039_0003__flashed, r_0039_0006__boobs, arg1).
arc(r_0039_0003__flashed, r_0039_0009__hubby, r_0039_0007__at_clr22).
arc(r_0039_0006__boobs, r_0039_0002__I, gen).
arc(r_0039_0006__boobs, r_0039_0005__naked, attrib14).
arc(r_0039_0009__hubby, r_0039_0002__I, gen).
arc(r_0039_0010__whilst, r_0039_0003__flashed, scope).
arc(r_0039_0010__whilst, r_0039_0012__was, restriction).
arc(r_0039_0012__was, r_0039_0009__hubby, arg0).
arc(r_0039_0012__was, r_0039_0014__a_r_0039_0015__work_r_0039_0016__video_r_0039_0017__call, r_0039_0013__on_clr40).
arc(r_0039_0019__forgetting, r_0039_0002__I, arg0).
arc(r_0039_0019__forgetting, r_0039_0020__that_r_0039_0022__was, arg1).
arc(r_0039_0020__that_r_0039_0022__was, r_0039_0023__sitting, scope).
arc(r_0039_0023__sitting, r_0039_0009__hubby, arg0).
arc(r_0039_0023__sitting, r_0039_0025__a_r_0039_0026__mirror, r_0039_0024__in_front_of_nim70).
arc(z_000_39_a_lockdown_51, r_0039_0010__whilst, scope).
arc(z_000_39_a_lockdown_51, r_0039_0019__forgetting, restriction).

fof(formula,axiom,
    ? [Z_39_A_LOCKDOWN_51,R_39_19_FORGETTING,R_39_20_THAT_WAS_SITTING,R_39_25_A_MIRROR,R_39_10_WHILST,R_39_12_WAS,R_39_14_A_WORK_VIDEO_CALL,R_39_3_FLASHED,R_39_6_BOOBS,R_39_5_NAKED,R_39_9_HUBBY,R_39_2_I] :
      ( a_mirror(R_39_25_A_MIRROR)
      & a_work_video_call(R_39_14_A_WORK_VIDEO_CALL)
      & naked(R_39_5_NAKED)
      & i(R_39_2_I)
      & z_39_a_lockdown_51(Z_39_A_LOCKDOWN_51)
      & conj1(Z_39_A_LOCKDOWN_51,R_39_19_FORGETTING)
      & forgetting(R_39_19_FORGETTING,R_39_2_I,R_39_20_THAT_WAS_SITTING)
      & that_was_sitting(R_39_20_THAT_WAS_SITTING,R_39_9_HUBBY)
      & hubby(R_39_9_HUBBY)
      & gen(R_39_9_HUBBY,R_39_2_I)
      & in_front_of_nim70(R_39_20_THAT_WAS_SITTING,R_39_25_A_MIRROR)
      & conj2(Z_39_A_LOCKDOWN_51,R_39_10_WHILST)
      & whilst(R_39_10_WHILST)
      & conj1(R_39_10_WHILST,R_39_12_WAS)
      & was(R_39_12_WAS,R_39_9_HUBBY)
      & on_clr40(R_39_12_WAS,R_39_14_A_WORK_VIDEO_CALL)
      & conj2(R_39_10_WHILST,R_39_3_FLASHED)
      & flashed(R_39_3_FLASHED,R_39_2_I,R_39_6_BOOBS)
      & boobs(R_39_6_BOOBS)
      & attrib14(R_39_6_BOOBS,R_39_5_NAKED)
      & gen(R_39_6_BOOBS,R_39_2_I)
      & at_clr22(R_39_3_FLASHED,R_39_9_HUBBY) ) ).

( (IP-MAT (PUNC <bbold>)
          (NP-SBJ;{PERSON_D} (PRO I;{I}))
          (ILYR (VBD;_Tn.pr_ flashed;{flash})
                (NP-OB1 (NP-GEN;{PERSON_D} (PRO;_genm_ my;{my}))
                        (ADJP (ADJ naked;{naked}))
                        (NS boobs;{boob}))
                (PP-CLR (P-ROLE at;{at})
                        (NP;{HUBBY_OF_D} (NP-GEN;{PERSON_D} (PRO;_genm_ my;{my}))
                                         (N hubby;{hubby})))
                (PP-SCON (P-CONN whilst;{whilst})
                         (IP-ADV (NP-SBJ;{HUBBY_OF_D} (PRO he;{he}))
                                 (BED;_Ipr_ was;{be[on]})
                                 (PP-CLR (P-ROLE on;{on})
                                         (NP (D a;{a})
                                             (N work;{work})
                                             (N video;{video})
                                             (N call;{call}))))))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tf_ forgetting;{forget})
                           (CP-THT-OB1 (IP-SUB (C that;{that})
                                               (NP-SBJ;{HUBBY_OF_D} (PRO he;{he}))
                                               (BED;_cat_Vg_ was;{be})
                                               (IP-PPL-CAT (VAG;_I_ sitting;{sit})
                                                           (PP-NIM (P-ROLE in_front_of;{in_front_of})
                                                                   (NP (D a;{a})
                                                                       (N mirror;{mirror}))))))))
          (PUNC <ebold>))
  (ID 39_a_lockdown;speaker=d))