TSPC 36_a_lockdown

36_a_lockdown
Usually we have big family gatherings and all the rest of it but obviously that wasn't possible this year.

( (IP-MAT (ADVP-NIM (ADV Usually;{usually}))
          (NP-SBJ;{FAMILY_OF_C} (PRO we;{we}))
          (ILYR (ILYR (HVP;_Tn_ have;{have})
                      (NP-OB1;{CELEBRATIONS} (NLYR (NLYR (ADJP (ADJ big;{big}))
                                                         (N family;{family})
                                                         (NS gatherings;{gathering}))
                                                   (CONJP (CONJ and;{and})
                                                          (NLYR (Q;_nphd_ all;{all})
                                                                (NLYR (D;_nphd_ the_rest;{the_rest})
                                                                      (PP (P-ROLE of;{of})
                                                                          (NP;{STUFF} (PRO it;{it})))))))))
                (CONJP (CONJ but;{but})
                       (ILYR (ADVP-NIM (ADV obviously;{obviously}))
                             (NP-SBJ;{CELEBRATIONS} (D;_nphd_ that;{that}))
                             (BED;_La_ was;{be})
                             (NEG;_clitic_ n<apos>t;{not})
                             (ADJP-PRD (ADJ possible;{possible}))
                             (NP-NIM (D this;{this})
                                     (N year;{year})))))
          (PUNC .))
  (ID 36_a_lockdown;speaker=c))

arc(r_0036_0003__have,r_0036_0001__Usually,nim).
arc(r_0036_0003__have,r_0036_0002__we,arg0).
arc(r_0036_0003__have,r_0036_0007__and,arg1).
arc(r_0036_0005__family_r_0036_0006__gatherings,r_0036_0004__big,attrib).
arc(r_0036_0007__and,r_0036_0005__family_r_0036_0006__gatherings,conj1).
arc(r_0036_0007__and,z_0036_5007,conj2).
arc(r_0036_0008__all__quant,r_0036_0007__and,scope).
arc(r_0036_0008__all__quant,z_0036_5007,restriction).
arc(r_0036_0009__the_rest,r_0036_0011__it,r_0036_0010__of).
arc(r_0036_0012__but,r_0036_0003__have,conj1).
arc(r_0036_0012__but,r_0036_0016__n_apos_t,conj2).
arc(r_0036_0015__was,r_0036_0001__Usually,nim).
arc(r_0036_0015__was,r_0036_0007__and,arg0).
arc(r_0036_0015__was,r_0036_0013__obviously,nim).
arc(r_0036_0015__was,r_0036_0017__possible,prd).
arc(r_0036_0015__was,r_0036_0018__this_r_0036_0019__year,nim).
arc(r_0036_0016__n_apos_t,r_0036_0015__was,keep_scope).
arc(z_0036_5007,r_0036_0009__the_rest,nim).

fof(formula,axiom,
    ! [Z_0036_5007,R_0036_0001__USUALLY,R_0036_0002__WE,R_0036_0004__BIG,R_0036_0005__FAMILY_R_0036_0006__GATHERINGS,R_0036_0011__IT,R_0036_0009__THE_REST,R_0036_0007__AND,R_0036_0003__HAVE,R_0036_0012__BUT] :
      ( ( r_0036_0001__Usually(R_0036_0001__USUALLY)
        & r_0036_0002__we(R_0036_0002__WE)
        & r_0036_0004__big(R_0036_0004__BIG)
        & r_0036_0011__it(R_0036_0011__IT)
        & r_0036_0012__but(R_0036_0012__BUT)
        & has_conj2(R_0036_0012__BUT,R_0036_0016__N_APOS_T)
        & ~ ? [R_0036_0013__OBVIOUSLY,R_0036_0017__POSSIBLE,R_0036_0018__THIS_R_0036_0019__YEAR,R_0036_0015__WAS] :
              ( r_0036_0013__obviously(R_0036_0013__OBVIOUSLY)
              & r_0036_0017__possible(R_0036_0017__POSSIBLE)
              & r_0036_0018__this_r_0036_0019__year(R_0036_0018__THIS_R_0036_0019__YEAR)
              & r_0036_0015__was(R_0036_0015__WAS)
              & has_nim(R_0036_0015__WAS,R_0036_0018__THIS_R_0036_0019__YEAR)
              & has_prd(R_0036_0015__WAS,R_0036_0017__POSSIBLE)
              & has_nim(R_0036_0015__WAS,R_0036_0013__OBVIOUSLY)
              & has_arg0(R_0036_0015__WAS,R_0036_0007__AND)
              & has_nim(R_0036_0015__WAS,R_0036_0001__USUALLY) )
        & has_conj1(R_0036_0012__BUT,R_0036_0003__HAVE)
        & r_0036_0003__have(R_0036_0003__HAVE)
        & has_arg1(R_0036_0003__HAVE,R_0036_0007__AND)
        & r_0036_0007__and(R_0036_0007__AND)
        & has_conj2(R_0036_0007__AND,Z_0036_5007)
        & z_0036_5007(Z_0036_5007)
        & has_nim(Z_0036_5007,R_0036_0009__THE_REST)
        & r_0036_0009__the_rest(R_0036_0009__THE_REST)
        & has_r_0036_0010__of(R_0036_0009__THE_REST,R_0036_0011__IT)
        & has_conj1(R_0036_0007__AND,R_0036_0005__FAMILY_R_0036_0006__GATHERINGS)
        & r_0036_0005__family_r_0036_0006__gatherings(R_0036_0005__FAMILY_R_0036_0006__GATHERINGS)
        & has_attrib(R_0036_0005__FAMILY_R_0036_0006__GATHERINGS,R_0036_0004__BIG)
        & has_arg0(R_0036_0003__HAVE,R_0036_0002__WE)
        & has_nim(R_0036_0003__HAVE,R_0036_0001__USUALLY) )
     => ? [R_0036_0013__OBVIOUSLY,R_0036_0017__POSSIBLE,R_0036_0018__THIS_R_0036_0019__YEAR,R_0036_0015__WAS,R_0036_0003__HAVE__AND__R_0036_0015__WAS] :
          ( r_0036_0013__obviously(R_0036_0013__OBVIOUSLY)
          & r_0036_0017__possible(R_0036_0017__POSSIBLE)
          & r_0036_0018__this_r_0036_0019__year(R_0036_0018__THIS_R_0036_0019__YEAR)
          & r_0036_0003__have__and__r_0036_0015__was(R_0036_0003__HAVE__AND__R_0036_0015__WAS)
          & has_conj1(R_0036_0003__HAVE__AND__R_0036_0015__WAS,R_0036_0003__HAVE)
          & has_conj2(R_0036_0003__HAVE__AND__R_0036_0015__WAS,R_0036_0015__WAS)
          & r_0036_0015__was(R_0036_0015__WAS)
          & has_nim(R_0036_0015__WAS,R_0036_0018__THIS_R_0036_0019__YEAR)
          & has_prd(R_0036_0015__WAS,R_0036_0017__POSSIBLE)
          & has_nim(R_0036_0015__WAS,R_0036_0013__OBVIOUSLY)
          & has_arg0(R_0036_0015__WAS,R_0036_0007__AND)
          & has_nim(R_0036_0015__WAS,R_0036_0001__USUALLY) ) ) ).