arc(r_0025_0003___apos_ve, r_0025_0001__So, nim2).
arc(r_0025_0003___apos_ve, r_0025_0005__been, scope).
arc(r_0025_0005__been, r_0025_0004__just, nim11).
arc(r_0025_0005__been, r_0025_0011__and, scope).
arc(r_0025_0006__bunging, r_0025_0002__I, arg0).
arc(r_0025_0006__bunging, r_0025_0009__a_r_0025_0010__bag, r_0025_0008__into_nim28).
arc(r_0025_0006__bunging, z_000_25_a_lockdown_21, arg1).
arc(r_0025_0011__and, r_0025_0006__bunging, conj1).
arc(r_0025_0011__and, r_0025_0012__taking, conj2).
arc(r_0025_0012__taking, r_0025_0002__I, arg0).
arc(r_0025_0012__taking, r_0025_0014__round, nim42).
arc(r_0025_0012__taking, z_000_25_a_lockdown_21, arg1).
arc(z_000_25_a_lockdown_21, r_0025_0007__hers, gen).

fof(formula,axiom,
    ? [R_0025_0001__SO,R_0025_0004__JUST,R_0025_0002__I,R_0025_0009__A_R_0025_0010__BAG,R_0025_0007__HERS,Z_000_25_A_LOCKDOWN_21,R_0025_0006__BUNGING,R_0025_0014__ROUND,R_0025_0012__TAKING,R_0025_0011__AND,R_0025_0003___APOS_VE_R_0025_0005__BEEN] :
      ( r_0025_0001__So(R_0025_0001__SO)
      & r_0025_0002__I(R_0025_0002__I)
      & r_0025_0004__just(R_0025_0004__JUST)
      & r_0025_0007__hers(R_0025_0007__HERS)
      & r_0025_0009__a_r_0025_0010__bag(R_0025_0009__A_R_0025_0010__BAG)
      & r_0025_0014__round(R_0025_0014__ROUND)
      & r_0025_0003___apos_ve_r_0025_0005__been(R_0025_0003___APOS_VE_R_0025_0005__BEEN)
      & has_keep_scope(R_0025_0003___APOS_VE_R_0025_0005__BEEN,R_0025_0011__AND)
      & r_0025_0011__and(R_0025_0011__AND)
      & has_conj2(R_0025_0011__AND,R_0025_0012__TAKING)
      & r_0025_0012__taking(R_0025_0012__TAKING)
      & has_arg1(R_0025_0012__TAKING,Z_000_25_A_LOCKDOWN_21)
      & z_000_25_a_lockdown_21(Z_000_25_A_LOCKDOWN_21)
      & has_gen(Z_000_25_A_LOCKDOWN_21,R_0025_0007__HERS)
      & has_nim42(R_0025_0012__TAKING,R_0025_0014__ROUND)
      & has_arg0(R_0025_0012__TAKING,R_0025_0002__I)
      & has_conj1(R_0025_0011__AND,R_0025_0006__BUNGING)
      & r_0025_0006__bunging(R_0025_0006__BUNGING)
      & has_arg1(R_0025_0006__BUNGING,Z_000_25_A_LOCKDOWN_21)
      & has_r_0025_0008__into_nim28(R_0025_0006__BUNGING,R_0025_0009__A_R_0025_0010__BAG)
      & has_arg0(R_0025_0006__BUNGING,R_0025_0002__I)
      & has_nim11(R_0025_0003___APOS_VE_R_0025_0005__BEEN,R_0025_0004__JUST)
      & has_nim2(R_0025_0003___APOS_VE_R_0025_0005__BEEN,R_0025_0001__SO) ) ).

( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ;{PERSON_B} (PRO I;{I}))
          (HVP;_cat_Ve_ <apos>ve;{have})
          (IP-PPL-CAT (ADVP-NIM (ADV just;{just}))
                      (BEN;_cat_Vg_ been;{be})
                      (IP-PPL-CAT (ILYR (ILYR (VAG;_Tn_ bunging;{bung})
                                              (NP-OB1;{GROCERIES} (NP-GEN;{MOTHER_IN_LAW_OF_B} (PRO;_ppge_ hers;{hers})))
                                              (PP-NIM (P-ROLE into;{into})
                                                      (NP (D a;{a})
                                                          (N bag;{bag}))))
                                        (CONJP (CONJ and;{and})
                                               (ILYR (VAG;_Tn_ taking;{take})
                                                     (NP-OB1;{GROCERIES} (PRO it;{it}))
                                                     (ADVP-NIM (ADV round;{round})))))))
          (PUNC .))
  (ID 25_a_lockdown;speaker=b))