TSPC 35_a_lockdown

35_a_lockdown
It was both of my sons' birthdays at the beginning of April and obviously we weren't supposed to be making any journeys other than essential ones but I delivered my grandparents some of their birthday cake - it was a bit of a knock - and - run.

arc(r_0035_0002__was, r_0035_0008__birthdays, prd).
arc(r_0035_0002__was, r_0035_0010__the_r_0035_0011__beginning, r_0035_0009__at_nim31).
arc(r_0035_0003__both_quant, r_0035_0007___apos_, restriction).
arc(r_0035_0003__both_quant, r_0035_0008__birthdays, scope).
arc(r_0035_0006__sons, r_0035_0005__my, gen).
arc(r_0035_0007___apos_, r_0035_0006__sons, r_0035_0004__of).
arc(r_0035_0008__birthdays, r_0035_0007___apos_, gen).
arc(r_0035_0010__the_r_0035_0011__beginning, r_0035_0013__April, r_0035_0012__of).
arc(r_0035_0014__and, r_0035_0002__was, conj1).
arc(r_0035_0014__and, r_0035_0017__were, conj2).
arc(r_0035_0017__were, r_0035_0015__obviously, nim46).
arc(r_0035_0017__were, r_0035_0018__n_apos_t_r_0035_0019__supposed, scope).
arc(r_0035_0018__n_apos_t_r_0035_0019__supposed, r_0035_0016__we, arg1).
arc(r_0035_0018__n_apos_t_r_0035_0019__supposed, r_0035_0020__to_r_0035_0021__be, prd).
arc(r_0035_0018__n_apos_t_r_0035_0019__supposed, z_000_35_a_lockdown_55, arg0).
arc(r_0035_0020__to_r_0035_0021__be, r_0035_0022__making, scope).
arc(r_0035_0022__making, r_0035_0023__any_r_0035_0024__journeys, arg1).
arc(r_0035_0022__making, x_000_35_a_lockdown_61, arg0).
arc(r_0035_0023__any_r_0035_0024__journeys, r_0035_0025__other, attrib74).
arc(r_0035_0025__other, r_0035_0028__ones, r_0035_0026__than).
arc(r_0035_0028__ones, r_0035_0027__essential, attrib81).
arc(r_0035_0029__but, r_0035_0014__and, conj1).
arc(r_0035_0029__but, r_0035_0031__delivered, conj2).
arc(r_0035_0031__delivered, r_0035_0030__I, arg0).
arc(r_0035_0031__delivered, r_0035_0033__grandparents, arg2).
arc(r_0035_0031__delivered, r_0035_0034__some, arg1).
arc(r_0035_0033__grandparents, r_0035_0030__I, gen).
arc(r_0035_0034__some, r_0035_0037__birthday_r_0035_0038__cake, r_0035_0035__of).
arc(r_0035_0037__birthday_r_0035_0038__cake, r_0035_0006__sons, gen).

fof(formula,axiom,
    ? [R_0035_0005__MY,R_0035_0006__SONS,R_0035_0007___APOS_,R_0035_0008__BIRTHDAYS,R_0035_0013__APRIL,R_0035_0010__THE_R_0035_0011__BEGINNING,R_0035_0002__WAS,R_0035_0015__OBVIOUSLY,R_0035_0016__WE,R_0035_0027__ESSENTIAL,R_0035_0028__ONES,R_0035_0025__OTHER,R_0035_0023__ANY_R_0035_0024__JOURNEYS,X_000_35_A_LOCKDOWN_61,R_0035_0020__TO_R_0035_0021__BE_R_0035_0022__MAKING,Z_000_35_A_LOCKDOWN_55,R_0035_0017__WERE_R_0035_0018__N_APOS_T_R_0035_0019__SUPPOSED,R_0035_0014__AND,R_0035_0030__I,R_0035_0033__GRANDPARENTS,R_0035_0037__BIRTHDAY_R_0035_0038__CAKE,R_0035_0034__SOME,R_0035_0031__DELIVERED,R_0035_0029__BUT] :
      ( r_0035_0005__my(R_0035_0005__MY)
      & r_0035_0013__April(R_0035_0013__APRIL)
      & r_0035_0015__obviously(R_0035_0015__OBVIOUSLY)
      & r_0035_0016__we(R_0035_0016__WE)
      & r_0035_0027__essential(R_0035_0027__ESSENTIAL)
      & r_0035_0030__I(R_0035_0030__I)
      & x_000_35_a_lockdown_61(X_000_35_A_LOCKDOWN_61)
      & z_000_35_a_lockdown_55(Z_000_35_A_LOCKDOWN_55)
      & r_0035_0029__but(R_0035_0029__BUT)
      & has_conj2(R_0035_0029__BUT,R_0035_0031__DELIVERED)
      & r_0035_0031__delivered(R_0035_0031__DELIVERED)
      & has_arg1(R_0035_0031__DELIVERED,R_0035_0034__SOME)
      & r_0035_0034__some(R_0035_0034__SOME)
      & has_r_0035_0035__of(R_0035_0034__SOME,R_0035_0037__BIRTHDAY_R_0035_0038__CAKE)
      & r_0035_0037__birthday_r_0035_0038__cake(R_0035_0037__BIRTHDAY_R_0035_0038__CAKE)
      & has_gen(R_0035_0037__BIRTHDAY_R_0035_0038__CAKE,R_0035_0006__SONS)
      & r_0035_0006__sons(R_0035_0006__SONS)
      & has_gen(R_0035_0006__SONS,R_0035_0005__MY)
      & has_arg2(R_0035_0031__DELIVERED,R_0035_0033__GRANDPARENTS)
      & r_0035_0033__grandparents(R_0035_0033__GRANDPARENTS)
      & has_gen(R_0035_0033__GRANDPARENTS,R_0035_0030__I)
      & has_arg0(R_0035_0031__DELIVERED,R_0035_0030__I)
      & has_conj1(R_0035_0029__BUT,R_0035_0014__AND)
      & r_0035_0014__and(R_0035_0014__AND)
      & has_conj2(R_0035_0014__AND,R_0035_0017__WERE_R_0035_0018__N_APOS_T_R_0035_0019__SUPPOSED)
      & ~ ( has_arg0(R_0035_0017__WERE_R_0035_0018__N_APOS_T_R_0035_0019__SUPPOSED,Z_000_35_A_LOCKDOWN_55)
          & has_prd(R_0035_0017__WERE_R_0035_0018__N_APOS_T_R_0035_0019__SUPPOSED,R_0035_0020__TO_R_0035_0021__BE_R_0035_0022__MAKING)
          & r_0035_0020__to_r_0035_0021__be_r_0035_0022__making(R_0035_0020__TO_R_0035_0021__BE_R_0035_0022__MAKING)
          & has_arg0(R_0035_0020__TO_R_0035_0021__BE_R_0035_0022__MAKING,X_000_35_A_LOCKDOWN_61)
          & has_arg1(R_0035_0020__TO_R_0035_0021__BE_R_0035_0022__MAKING,R_0035_0023__ANY_R_0035_0024__JOURNEYS)
          & r_0035_0023__any_r_0035_0024__journeys(R_0035_0023__ANY_R_0035_0024__JOURNEYS)
          & has_attrib74(R_0035_0023__ANY_R_0035_0024__JOURNEYS,R_0035_0025__OTHER)
          & r_0035_0025__other(R_0035_0025__OTHER)
          & has_r_0035_0026__than(R_0035_0025__OTHER,R_0035_0028__ONES)
          & r_0035_0028__ones(R_0035_0028__ONES)
          & has_attrib81(R_0035_0028__ONES,R_0035_0027__ESSENTIAL)
          & has_arg1(R_0035_0017__WERE_R_0035_0018__N_APOS_T_R_0035_0019__SUPPOSED,R_0035_0016__WE)
          & has_nim46(R_0035_0017__WERE_R_0035_0018__N_APOS_T_R_0035_0019__SUPPOSED,R_0035_0015__OBVIOUSLY) )
      & has_conj1(R_0035_0014__AND,R_0035_0002__WAS)
      & r_0035_0002__was(R_0035_0002__WAS)
      & has_r_0035_0009__at_nim31(R_0035_0002__WAS,R_0035_0010__THE_R_0035_0011__BEGINNING)
      & r_0035_0010__the_r_0035_0011__beginning(R_0035_0010__THE_R_0035_0011__BEGINNING)
      & has_r_0035_0012__of(R_0035_0010__THE_R_0035_0011__BEGINNING,R_0035_0013__APRIL)
      & has_prd(R_0035_0002__WAS,R_0035_0008__BIRTHDAYS)
      & r_0035_0008__birthdays(R_0035_0008__BIRTHDAYS)
      & has_gen(R_0035_0008__BIRTHDAYS,R_0035_0007___APOS_)
      & r_0035_0007___apos_(R_0035_0007___APOS_)
      & has_r_0035_0004__of(R_0035_0007___APOS_,R_0035_0006__SONS)
      & ( r_0035_0007___apos_(R_0035_0007___APOS_)
       => r_0035_0002__was(R_0035_0002__WAS) ) ) ).

( (IP-MAT (ILYR (ILYR (ILYR (ILYR (NP-SBJ (PRO;_expletive_ It;{it}))
                                  (BED;_Ln_ was;{be})
                                  (NP-PRD (NP-GEN (Q;_nphd_ both;{both})
                                                  (PP (P-ROLE of;{of})
                                                      (NP;{SONS_OF_C} (NP-GEN;{PERSON_C} (PRO;_genm_ my;{my}))
                                                                      (NS sons;{son})))
                                                  (GENM <apos>))
                                          (NS birthdays;{birthday}))
                                  (PP-NIM (P-ROLE at;{at})
                                          (NP (D the;{the})
                                              (N beginning;{beginning})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NPR April;{April}))))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (ADVP-NIM (ADV obviously;{obviously}))
                                         (NP-SBJ (PRO we;{we}))
                                         (BED;_cat_VePASS_ were;{be})
                                         (IP-PPL-CAT (NP-LGS *)
                                                     (NEG;_clitic_ n<apos>t;{not})
                                                     (VVN;_Cn.t_ supposed;{suppose})
                                                     (IP-INF-PRD (TO to;{to})
                                                                 (BE;_cat_Vg_ be;{be})
                                                                 (IP-PPL-CAT (VAG;_Tn_ making;{make})
                                                                             (NP-OB1 (D any;{any})
                                                                                     (NS journeys;{journey})
                                                                                     (ADJP (ADJ other;{other})
                                                                                           (PP (P-ROLE than;{than})
                                                                                               (NP (ADJP (ADJ essential;{essential}))
                                                                                                   (NS ones;{one}))))))))))))
                (CONJP (CONJ but;{but})
                       (ILYR;{DELIVERY} (NP-SBJ;{PERSON_C} (PRO I;{I}))
                                        (VBD;_Dn.n_ delivered;{deliver})
                                        (NP-OB2;{GRANDPARENTS_OF_C} (NP-GEN;{PERSON_C} (PRO;_genm_ my;{my}))
                                                                    (NS grandparents;{grandparent}))
                                        (NP-OB1 (D;_nphd_ some;{some})
                                                (PP (P-ROLE of;{of})
                                                    (NP (NP-GEN;{SONS_OF_C} (PRO;_genm_ their;{their}))
                                                        (N birthday;{birthday})
                                                        (N cake;{cake})))))))
          (PUNC <hyphen>)
          (PRN (IP-MAT (NP-SBJ;{DELIVERY} (PRO it;{it}))
                       (BED;_Ln_ was;{be})
                       (NP-PRD (D;_nphd_ a_bit;{a_bit})
                               (PP (P-ROLE of;{of})
                                   (NP (D a;{a})
                                       (NLYR (NLYR (N knock;{knock}))
                                             (PUNC <hyphen>)
                                             (CONJP (CONJ and;{and})
                                                    (PUNC <hyphen>)
                                                    (NLYR (N run;{run})))))))))
          (PUNC .))
  (ID 35_a_lockdown;speaker=c))