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, scope).
arc(r_0035_0018__n_apos_t, r_0035_0019__supposed, keep_scope).
arc(r_0035_0019__supposed, r_0035_0016__we, arg1).
arc(r_0035_0019__supposed, r_0035_0020__to_r_0035_0021__be, prd).
arc(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_35_29_BUT,R_35_14_AND,R_35_2_WAS,R_35_8_BIRTHDAYS,R_35_7__APOS_,R_35_10_THE_BEGINNING,R_35_13_APRIL,R_35_15_OBVIOUSLY,R_35_31_DELIVERED,R_35_34_SOME,R_35_37_BIRTHDAY_CAKE,R_35_6_SONS,R_35_5_MY,R_35_33_GRANDPARENTS,R_35_30_I] :
      ( april(R_35_13_APRIL)
      & obviously(R_35_15_OBVIOUSLY)
      & my(R_35_5_MY)
      & i(R_35_30_I)
      & ( true
       => true )
      & but(R_35_29_BUT)
      & conj1(R_35_29_BUT,R_35_14_AND)
      & and(R_35_14_AND)
      & conj1(R_35_14_AND,R_35_2_WAS)
      & was(R_35_2_WAS)
      & prd(R_35_2_WAS,R_35_8_BIRTHDAYS)
      & birthdays(R_35_8_BIRTHDAYS)
      & gen(R_35_8_BIRTHDAYS,R_35_7__APOS_)
      & _apos_(R_35_7__APOS_)
      & of(R_35_7__APOS_,R_35_6_SONS)
      & sons(R_35_6_SONS)
      & gen(R_35_6_SONS,R_35_5_MY)
      & at_nim31(R_35_2_WAS,R_35_10_THE_BEGINNING)
      & the_beginning(R_35_10_THE_BEGINNING)
      & of(R_35_10_THE_BEGINNING,R_35_13_APRIL)
      & conj2(R_35_14_AND,R_35_17_WERE_N_APOS_T)
      & ? [R_35_19_SUPPOSED,Z_35_A_LOCKDOWN_55,R_35_16_WE,R_35_20_TO_BE_MAKING,X_35_A_LOCKDOWN_61,R_35_23_ANY_JOURNEYS,R_35_25_OTHER,R_35_28_ONES,R_35_27_ESSENTIAL] :
          ( we(R_35_16_WE)
          & essential(R_35_27_ESSENTIAL)
          & supposed(R_35_19_SUPPOSED,Z_35_A_LOCKDOWN_55,R_35_16_WE,R_35_20_TO_BE_MAKING)
          & to_be_making(R_35_20_TO_BE_MAKING,X_35_A_LOCKDOWN_61,R_35_23_ANY_JOURNEYS)
          & any_journeys(R_35_23_ANY_JOURNEYS)
          & attrib74(R_35_23_ANY_JOURNEYS,R_35_25_OTHER)
          & other(R_35_25_OTHER)
          & than(R_35_25_OTHER,R_35_28_ONES)
          & ones(R_35_28_ONES)
          & attrib81(R_35_28_ONES,R_35_27_ESSENTIAL) )
      & conj2(R_35_29_BUT,R_35_31_DELIVERED)
      & delivered(R_35_31_DELIVERED,R_35_30_I,R_35_34_SOME,R_35_33_GRANDPARENTS)
      & some(R_35_34_SOME)
      & of(R_35_34_SOME,R_35_37_BIRTHDAY_CAKE)
      & birthday_cake(R_35_37_BIRTHDAY_CAKE)
      & gen(R_35_37_BIRTHDAY_CAKE,R_35_6_SONS)
      & grandparents(R_35_33_GRANDPARENTS)
      & gen(R_35_33_GRANDPARENTS,R_35_30_I) ) ).

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