25_a_lockdown
So I've just been bunging hers into a bag and taking it round.

%3 r_0025_0003___apos_ve 've r_0025_0001__So So r_0025_0003___apos_ve->r_0025_0001__So [nim] r_0025_0005__been been r_0025_0003___apos_ve->r_0025_0005__been [scope] r_0025_0004__just just r_0025_0005__been->r_0025_0004__just [nim] r_0025_0011__and and r_0025_0005__been->r_0025_0011__and [scope] r_0025_0006__bunging bunging r_0025_0011__and->r_0025_0006__bunging [conj1] r_0025_0012__taking taking r_0025_0011__and->r_0025_0012__taking [conj2] r_0025_0002__I I r_0025_0006__bunging->r_0025_0002__I [arg0] r_0025_0009__a_r_0025_0010__bag a bag r_0025_0006__bunging->r_0025_0009__a_r_0025_0010__bag into [nim] z_000_25_a_lockdown_21 r_0025_0006__bunging->z_000_25_a_lockdown_21 [arg1] r_0025_0007__hers hers z_000_25_a_lockdown_21->r_0025_0007__hers [gen] r_0025_0012__taking->r_0025_0002__I [arg0] r_0025_0012__taking->z_000_25_a_lockdown_21 [arg1] r_0025_0014__round round r_0025_0012__taking->r_0025_0014__round [nim]
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).



%3 r_0025_0003___apos_ve_r_0025_0005__been 've been r_0025_0011__and and r_0025_0003___apos_ve_r_0025_0005__been->r_0025_0011__and [keep_scope] r_0025_0004__just just r_0025_0003___apos_ve_r_0025_0005__been->r_0025_0004__just [nim] r_0025_0001__So So r_0025_0003___apos_ve_r_0025_0005__been->r_0025_0001__So [nim] r_0025_0012__taking taking r_0025_0011__and->r_0025_0012__taking [conj2] r_0025_0006__bunging bunging r_0025_0011__and->r_0025_0006__bunging [conj1] z_000_25_a_lockdown_21 r_0025_0007__hers hers z_000_25_a_lockdown_21->r_0025_0007__hers [gen] r_0025_0012__taking->z_000_25_a_lockdown_21 [arg1] r_0025_0014__round round r_0025_0012__taking->r_0025_0014__round [nim] r_0025_0002__I I r_0025_0012__taking->r_0025_0002__I [arg0] r_0025_0006__bunging->z_000_25_a_lockdown_21 [arg1] r_0025_0006__bunging->r_0025_0002__I [arg0] r_0025_0009__a_r_0025_0010__bag a bag r_0025_0006__bunging->r_0025_0009__a_r_0025_0010__bag into [nim]
fof(formula,axiom,
    ? [R_25_4_JUST,R_25_1_SO] :
      ( just(R_25_4_JUST)
      & so(R_25_1_SO)
      & ? [R_25_11_AND,R_25_6_BUNGING,R_25_9_A_BAG,R_25_12_TAKING,R_25_2_I,Z_25_A_LOCKDOWN_21,R_25_7_HERS,R_25_14_ROUND] :
          ( a_bag(R_25_9_A_BAG)
          & i(R_25_2_I)
          & hers(R_25_7_HERS)
          & round(R_25_14_ROUND)
          & and(R_25_11_AND)
          & conj1(R_25_11_AND,R_25_6_BUNGING)
          & bunging(R_25_6_BUNGING,R_25_2_I,Z_25_A_LOCKDOWN_21)
          & z_25_a_lockdown_21(Z_25_A_LOCKDOWN_21)
          & gen(Z_25_A_LOCKDOWN_21,R_25_7_HERS)
          & into_nim28(R_25_6_BUNGING,R_25_9_A_BAG)
          & conj2(R_25_11_AND,R_25_12_TAKING)
          & taking(R_25_12_TAKING,R_25_2_I,Z_25_A_LOCKDOWN_21)
          & nim42(R_25_12_TAKING,R_25_14_ROUND) ) ) ).



n25_a_lockdown n25_a_lockdown__1_1_1_1 So n25_a_lockdown__1_2_1_1 I n25_a_lockdown__1_3_1 've n25_a_lockdown__1_4_1_1_1 just n25_a_lockdown__1_4_2_1 been n25_a_lockdown__1_4_3_1_1_1_1 bunging n25_a_lockdown__1_4_3_1_1_2_1_1_1 hers n25_a_lockdown__1_4_3_1_1_3_1_1 into n25_a_lockdown__1_4_3_1_1_3_2_1_1 a n25_a_lockdown__1_4_3_1_1_3_2_2_1 bag n25_a_lockdown__1_4_3_1_2_1_1 and n25_a_lockdown__1_4_3_1_2_2_1_1 taking n25_a_lockdown__1_4_3_1_2_2_2_1_1 it n25_a_lockdown__1_4_3_1_2_2_3_1_1 round n25_a_lockdown__1_5_1 . n25_a_lockdown__1 IP-MAT n25_a_lockdown__1_1 ADVP-NIM n25_a_lockdown__1->n25_a_lockdown__1_1 n25_a_lockdown__1_2 NP-SBJ n25_a_lockdown__1->n25_a_lockdown__1_2 n25_a_lockdown__1_3 HVP;_cat_Ve_ n25_a_lockdown__1->n25_a_lockdown__1_3 n25_a_lockdown__1_4 IP-PPL-CAT n25_a_lockdown__1->n25_a_lockdown__1_4 n25_a_lockdown__1_5 PUNC n25_a_lockdown__1->n25_a_lockdown__1_5 n25_a_lockdown__1_1_1 ADV n25_a_lockdown__1_1->n25_a_lockdown__1_1_1 n25_a_lockdown__1_1_1->n25_a_lockdown__1_1_1_1 n25_a_lockdown__1_2_1 PRO n25_a_lockdown__1_2->n25_a_lockdown__1_2_1 n25_a_lockdown__1_2_1->n25_a_lockdown__1_2_1_1 n25_a_lockdown__1_3->n25_a_lockdown__1_3_1 n25_a_lockdown__1_4_1 ADVP-NIM n25_a_lockdown__1_4->n25_a_lockdown__1_4_1 n25_a_lockdown__1_4_2 BEN;_cat_Vg_ n25_a_lockdown__1_4->n25_a_lockdown__1_4_2 n25_a_lockdown__1_4_3 IP-PPL-CAT n25_a_lockdown__1_4->n25_a_lockdown__1_4_3 n25_a_lockdown__1_4_1_1 ADV n25_a_lockdown__1_4_1->n25_a_lockdown__1_4_1_1 n25_a_lockdown__1_4_1_1->n25_a_lockdown__1_4_1_1_1 n25_a_lockdown__1_4_2->n25_a_lockdown__1_4_2_1 n25_a_lockdown__1_4_3_1 ILYR n25_a_lockdown__1_4_3->n25_a_lockdown__1_4_3_1 n25_a_lockdown__1_4_3_1_1 ILYR n25_a_lockdown__1_4_3_1->n25_a_lockdown__1_4_3_1_1 n25_a_lockdown__1_4_3_1_2 CONJP n25_a_lockdown__1_4_3_1->n25_a_lockdown__1_4_3_1_2 n25_a_lockdown__1_4_3_1_1_1 VAG;_Tn_ n25_a_lockdown__1_4_3_1_1->n25_a_lockdown__1_4_3_1_1_1 n25_a_lockdown__1_4_3_1_1_2 NP-OB1 n25_a_lockdown__1_4_3_1_1->n25_a_lockdown__1_4_3_1_1_2 n25_a_lockdown__1_4_3_1_1_3 PP-NIM n25_a_lockdown__1_4_3_1_1->n25_a_lockdown__1_4_3_1_1_3 n25_a_lockdown__1_4_3_1_1_1->n25_a_lockdown__1_4_3_1_1_1_1 n25_a_lockdown__1_4_3_1_1_2_1 NP-GEN n25_a_lockdown__1_4_3_1_1_2->n25_a_lockdown__1_4_3_1_1_2_1 n25_a_lockdown__1_4_3_1_1_2_1_1 PRO;_ppge_ n25_a_lockdown__1_4_3_1_1_2_1->n25_a_lockdown__1_4_3_1_1_2_1_1 n25_a_lockdown__1_4_3_1_1_2_1_1->n25_a_lockdown__1_4_3_1_1_2_1_1_1 n25_a_lockdown__1_4_3_1_1_3_1 P-ROLE n25_a_lockdown__1_4_3_1_1_3->n25_a_lockdown__1_4_3_1_1_3_1 n25_a_lockdown__1_4_3_1_1_3_2 NP n25_a_lockdown__1_4_3_1_1_3->n25_a_lockdown__1_4_3_1_1_3_2 n25_a_lockdown__1_4_3_1_1_3_1->n25_a_lockdown__1_4_3_1_1_3_1_1 n25_a_lockdown__1_4_3_1_1_3_2_1 D n25_a_lockdown__1_4_3_1_1_3_2->n25_a_lockdown__1_4_3_1_1_3_2_1 n25_a_lockdown__1_4_3_1_1_3_2_2 N n25_a_lockdown__1_4_3_1_1_3_2->n25_a_lockdown__1_4_3_1_1_3_2_2 n25_a_lockdown__1_4_3_1_1_3_2_1->n25_a_lockdown__1_4_3_1_1_3_2_1_1 n25_a_lockdown__1_4_3_1_1_3_2_2->n25_a_lockdown__1_4_3_1_1_3_2_2_1 n25_a_lockdown__1_4_3_1_2_1 CONJ n25_a_lockdown__1_4_3_1_2->n25_a_lockdown__1_4_3_1_2_1 n25_a_lockdown__1_4_3_1_2_2 ILYR n25_a_lockdown__1_4_3_1_2->n25_a_lockdown__1_4_3_1_2_2 n25_a_lockdown__1_4_3_1_2_1->n25_a_lockdown__1_4_3_1_2_1_1 n25_a_lockdown__1_4_3_1_2_2_1 VAG;_Tn_ n25_a_lockdown__1_4_3_1_2_2->n25_a_lockdown__1_4_3_1_2_2_1 n25_a_lockdown__1_4_3_1_2_2_2 NP-OB1 n25_a_lockdown__1_4_3_1_2_2->n25_a_lockdown__1_4_3_1_2_2_2 n25_a_lockdown__1_4_3_1_2_2_3 ADVP-NIM n25_a_lockdown__1_4_3_1_2_2->n25_a_lockdown__1_4_3_1_2_2_3 n25_a_lockdown__1_4_3_1_2_2_1->n25_a_lockdown__1_4_3_1_2_2_1_1 n25_a_lockdown__1_4_3_1_2_2_2_1 PRO n25_a_lockdown__1_4_3_1_2_2_2->n25_a_lockdown__1_4_3_1_2_2_2_1 n25_a_lockdown__1_4_3_1_2_2_2_1->n25_a_lockdown__1_4_3_1_2_2_2_1_1 n25_a_lockdown__1_4_3_1_2_2_3_1 ADV n25_a_lockdown__1_4_3_1_2_2_3->n25_a_lockdown__1_4_3_1_2_2_3_1 n25_a_lockdown__1_4_3_1_2_2_3_1->n25_a_lockdown__1_4_3_1_2_2_3_1_1 n25_a_lockdown__1_5->n25_a_lockdown__1_5_1
( (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))