TSPC 59_a_lockdown

59_a_lockdown
The big difference is that the bar is now my home and there is no crowd of people.

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ big;{big}))
                  (N difference;{difference}))
          (BEP;_equ_Vf_ is;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (ILYR (ILYR (NP-SBJ (D the;{the})
                                                  (N bar;{bar}))
                                          (BEP;_Ln_ is;{be})
                                          (ADVP-NIM (ADV now;{now}))
                                          (NP-PRD (NP-GEN;{PERSON_E} (PRO;_genm_ my;{my}))
                                                  (N home;{home})))
                                    (CONJP (CONJ and;{and})
                                           (ILYR (EX there;{there})
                                                 (BEP;_ex_V_ is;{be})
                                                 (NP-ESBJ (Q no;{no})
                                                          (N crowd;{crowd})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (NS people;{people})))))))))
          (PUNC .))
  (ID 59_a_lockdown;speaker=e))

arc(r_0059_0001__The_r_0059_0003__difference,r_0059_0002__big,attrib).
arc(r_0059_0004__is,r_0059_0001__The_r_0059_0003__difference,arg0).
arc(r_0059_0004__is,r_0059_0012__and,prd).
arc(r_0059_0008__is,r_0059_0006__the_r_0059_0007__bar,arg0).
arc(r_0059_0008__is,r_0059_0009__now,nim).
arc(r_0059_0008__is,r_0059_0011__home,prd).
arc(r_0059_0011__home,r_0059_0010__my,gen).
arc(r_0059_0012__and,r_0059_0008__is,conj1).
arc(r_0059_0012__and,r_0059_0015__no__quant,conj2).
arc(r_0059_0014__is,r_0059_0016__crowd,arg0).
arc(r_0059_0015__no__quant,r_0059_0014__is,scope).
arc(r_0059_0015__no__quant,r_0059_0016__crowd,restriction).
arc(r_0059_0016__crowd,r_0059_0018__people,r_0059_0017__of).

fof(formula,axiom,
    ? [R_0059_0002__BIG,R_0059_0001__THE_R_0059_0003__DIFFERENCE,R_0059_0006__THE_R_0059_0007__BAR,R_0059_0009__NOW,R_0059_0010__MY,R_0059_0011__HOME,R_0059_0008__IS,R_0059_0012__AND,R_0059_0004__IS] :
      ( r_0059_0002__big(R_0059_0002__BIG)
      & r_0059_0006__the_r_0059_0007__bar(R_0059_0006__THE_R_0059_0007__BAR)
      & r_0059_0009__now(R_0059_0009__NOW)
      & r_0059_0010__my(R_0059_0010__MY)
      & r_0059_0004__is(R_0059_0004__IS)
      & has_prd(R_0059_0004__IS,R_0059_0012__AND)
      & r_0059_0012__and(R_0059_0012__AND)
      & ! [R_0059_0016__CROWD,R_0059_0018__PEOPLE] :
          ( ( r_0059_0018__people(R_0059_0018__PEOPLE)
            & r_0059_0016__crowd(R_0059_0016__CROWD)
            & has_r_0059_0017__of(R_0059_0016__CROWD,R_0059_0018__PEOPLE) )
         => ? [R_0059_0014__IS] :
              ( r_0059_0014__is(R_0059_0014__IS)
              & has_arg0(R_0059_0014__IS,R_0059_0016__CROWD) ) )
      & has_conj1(R_0059_0012__AND,R_0059_0008__IS)
      & r_0059_0008__is(R_0059_0008__IS)
      & has_prd(R_0059_0008__IS,R_0059_0011__HOME)
      & r_0059_0011__home(R_0059_0011__HOME)
      & has_gen(R_0059_0011__HOME,R_0059_0010__MY)
      & has_nim(R_0059_0008__IS,R_0059_0009__NOW)
      & has_arg0(R_0059_0008__IS,R_0059_0006__THE_R_0059_0007__BAR)
      & has_arg0(R_0059_0004__IS,R_0059_0001__THE_R_0059_0003__DIFFERENCE)
      & r_0059_0001__The_r_0059_0003__difference(R_0059_0001__THE_R_0059_0003__DIFFERENCE)
      & has_attrib(R_0059_0001__THE_R_0059_0003__DIFFERENCE,R_0059_0002__BIG) ) ).