TSPC 62_a_lockdown

62_a_lockdown
It started with just going for walks and then we had a barbecue in one of their gardens and then I had a birthday and invited them round to dinner at my house.

arc(r_0062_0002__started, r_0062_0005__going, r_0062_0003__with_clr12).
arc(r_0062_0005__going, r_0062_0004__just, nim13).
arc(r_0062_0005__going, r_0062_0007__walks, r_0062_0006__for_clr21).
arc(r_0062_0005__going, z_000_62_a_lockdown_12, arg0).
arc(r_0062_0008__and_r_0062_0019__and, r_0062_0002__started, conj1).
arc(r_0062_0008__and_r_0062_0019__and, r_0062_0011__had, conj2).
arc(r_0062_0008__and_r_0062_0019__and, r_0062_0025__and, conj3).
arc(r_0062_0011__had, r_0062_0009__then, nim28).
arc(r_0062_0011__had, r_0062_0010__we, arg0).
arc(r_0062_0011__had, r_0062_0012__a_r_0062_0013__barbecue, arg1).
arc(r_0062_0012__a_r_0062_0013__barbecue, r_0062_0015__one, r_0062_0014__in).
arc(r_0062_0015__one, r_0062_0018__gardens, r_0062_0016__of).
arc(r_0062_0018__gardens, r_0062_0017__their, gen).
arc(r_0062_0022__had, r_0062_0020__then, nim60).
arc(r_0062_0022__had, r_0062_0021__I, arg0).
arc(r_0062_0022__had, r_0062_0023__a_r_0062_0024__birthday, arg1).
arc(r_0062_0025__and, r_0062_0022__had, conj1).
arc(r_0062_0025__and, r_0062_0026__invited, conj2).
arc(r_0062_0026__invited, r_0062_0020__then, nim60).
arc(r_0062_0026__invited, r_0062_0021__I, arg0).
arc(r_0062_0026__invited, r_0062_0027__them, arg1).
arc(r_0062_0026__invited, r_0062_0028__round, clr84).
arc(r_0062_0028__round, r_0062_0030__dinner, r_0062_0029__to).
arc(r_0062_0030__dinner, r_0062_0033__house, r_0062_0031__at).
arc(r_0062_0033__house, r_0062_0021__I, gen).

fof(formula,axiom,
    ? [R_0062_0004__JUST,R_0062_0007__WALKS,Z_000_62_A_LOCKDOWN_12,R_0062_0005__GOING,R_0062_0002__STARTED,R_0062_0009__THEN,R_0062_0010__WE,R_0062_0017__THEIR,R_0062_0018__GARDENS,R_0062_0015__ONE,R_0062_0012__A_R_0062_0013__BARBECUE,R_0062_0011__HAD,R_0062_0020__THEN,R_0062_0021__I,R_0062_0023__A_R_0062_0024__BIRTHDAY,R_0062_0022__HAD,R_0062_0027__THEM,R_0062_0033__HOUSE,R_0062_0030__DINNER,R_0062_0028__ROUND,R_0062_0026__INVITED,R_0062_0025__AND,R_0062_0008__AND_R_0062_0019__AND] :
      ( r_0062_0004__just(R_0062_0004__JUST)
      & r_0062_0007__walks(R_0062_0007__WALKS)
      & r_0062_0009__then(R_0062_0009__THEN)
      & r_0062_0010__we(R_0062_0010__WE)
      & r_0062_0017__their(R_0062_0017__THEIR)
      & r_0062_0020__then(R_0062_0020__THEN)
      & r_0062_0021__I(R_0062_0021__I)
      & r_0062_0023__a_r_0062_0024__birthday(R_0062_0023__A_R_0062_0024__BIRTHDAY)
      & r_0062_0027__them(R_0062_0027__THEM)
      & z_000_62_a_lockdown_12(Z_000_62_A_LOCKDOWN_12)
      & r_0062_0008__and_r_0062_0019__and(R_0062_0008__AND_R_0062_0019__AND)
      & has_conj3(R_0062_0008__AND_R_0062_0019__AND,R_0062_0025__AND)
      & r_0062_0025__and(R_0062_0025__AND)
      & has_conj2(R_0062_0025__AND,R_0062_0026__INVITED)
      & r_0062_0026__invited(R_0062_0026__INVITED)
      & has_clr84(R_0062_0026__INVITED,R_0062_0028__ROUND)
      & r_0062_0028__round(R_0062_0028__ROUND)
      & has_r_0062_0029__to(R_0062_0028__ROUND,R_0062_0030__DINNER)
      & r_0062_0030__dinner(R_0062_0030__DINNER)
      & has_r_0062_0031__at(R_0062_0030__DINNER,R_0062_0033__HOUSE)
      & r_0062_0033__house(R_0062_0033__HOUSE)
      & has_gen(R_0062_0033__HOUSE,R_0062_0021__I)
      & has_arg1(R_0062_0026__INVITED,R_0062_0027__THEM)
      & has_arg0(R_0062_0026__INVITED,R_0062_0021__I)
      & has_nim60(R_0062_0026__INVITED,R_0062_0020__THEN)
      & has_conj1(R_0062_0025__AND,R_0062_0022__HAD)
      & r_0062_0022__had(R_0062_0022__HAD)
      & has_arg1(R_0062_0022__HAD,R_0062_0023__A_R_0062_0024__BIRTHDAY)
      & has_arg0(R_0062_0022__HAD,R_0062_0021__I)
      & has_nim60(R_0062_0022__HAD,R_0062_0020__THEN)
      & has_conj2(R_0062_0008__AND_R_0062_0019__AND,R_0062_0011__HAD)
      & r_0062_0011__had(R_0062_0011__HAD)
      & has_arg1(R_0062_0011__HAD,R_0062_0012__A_R_0062_0013__BARBECUE)
      & r_0062_0012__a_r_0062_0013__barbecue(R_0062_0012__A_R_0062_0013__BARBECUE)
      & has_r_0062_0014__in(R_0062_0012__A_R_0062_0013__BARBECUE,R_0062_0015__ONE)
      & r_0062_0015__one(R_0062_0015__ONE)
      & has_r_0062_0016__of(R_0062_0015__ONE,R_0062_0018__GARDENS)
      & r_0062_0018__gardens(R_0062_0018__GARDENS)
      & has_gen(R_0062_0018__GARDENS,R_0062_0017__THEIR)
      & has_arg0(R_0062_0011__HAD,R_0062_0010__WE)
      & has_nim28(R_0062_0011__HAD,R_0062_0009__THEN)
      & has_conj1(R_0062_0008__AND_R_0062_0019__AND,R_0062_0002__STARTED)
      & r_0062_0002__started(R_0062_0002__STARTED)
      & has_r_0062_0003__with_clr12(R_0062_0002__STARTED,R_0062_0005__GOING)
      & r_0062_0005__going(R_0062_0005__GOING)
      & has_arg0(R_0062_0005__GOING,Z_000_62_A_LOCKDOWN_12)
      & has_r_0062_0006__for_clr21(R_0062_0005__GOING,R_0062_0007__WALKS)
      & has_nim13(R_0062_0005__GOING,R_0062_0004__JUST) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO;_expletive_ It;{it}))
                      (VBD;_Ipr_ started;{start[with]})
                      (PP-CLR (P-ROLE with;{with})
                              (IP-PPL3 (ADVP-NIM (ADV just;{just}))
                                       (VAG;_Ipr_ going;{go[for]})
                                       (PP-CLR (P-ROLE for;{for})
                                               (NP (NS walks;{walk}))))))
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV then;{then}))
                             (NP-SBJ;{PERSON_F_HOUSEMATE_FRIEND_A_FRIEND_B} (PRO we;{we}))
                             (HVD;_Tn_ had;{have})
                             (NP-OB1 (D a;{a})
                                     (N barbecue;{barbecue})
                                     (PP (P-ROLE in;{in})
                                         (NP (NUM one;{one})
                                             (PP (P-ROLE of;{of})
                                                 (NP (NP-GEN;{FRIEND_A_FRIEND_B} (PRO;_genm_ their;{their}))
                                                     (NS gardens;{garden}))))))))
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV then;{then}))
                             (NP-SBJ;{PERSON_F} (PRO I;{I}))
                             (ILYR (ILYR (HVD;_Tn_ had;{have})
                                         (NP-OB1 (D a;{a})
                                                 (N birthday;{birthday})))
                                   (CONJP (CONJ and;{and})
                                          (ILYR (VBD;_Tn.p_ invited;{invite[round]})
                                                (NP-OB1;{FRIEND_A_FRIEND_B} (PRO them;{they}))
                                                (ADVP-CLR (ADV round;{round})
                                                          (PP (P-ROLE to;{to})
                                                              (NP (N dinner;{dinner})
                                                                  (PP (P-ROLE at;{at})
                                                                      (NP (NP-GEN;{PERSON_F} (PRO;_genm_ my;{my}))
                                                                          (N house;{house}))))))))))))
          (PUNC .))
  (ID 62_a_lockdown;speaker=f))