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

arc(r_0025_0003___apos_ve,r_0025_0001__So,nim).
arc(r_0025_0003___apos_ve,r_0025_0005__been,scope).
arc(r_0025_0005__been,r_0025_0004__just,nim).
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__nim).
arc(r_0025_0006__bunging,z_0025_5006,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,nim).
arc(r_0025_0012__taking,z_0025_5006,arg1).
arc(z_0025_5006,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_0025_5006,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_0025_5006)
      & z_0025_5006(Z_0025_5006)
      & has_gen(Z_0025_5006,R_0025_0007__HERS)
      & has_nim(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_0025_5006)
      & has_r_0025_0008__into__nim(R_0025_0006__BUNGING,R_0025_0009__A_R_0025_0010__BAG)
      & has_arg0(R_0025_0006__BUNGING,R_0025_0002__I)
      & has_nim(R_0025_0003___APOS_VE_R_0025_0005__BEEN,R_0025_0004__JUST)
      & has_nim(R_0025_0003___APOS_VE_R_0025_0005__BEEN,R_0025_0001__SO) ) ).