Context                Previous, Next                Top


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

%3 r_0059_0001__The_r_0059_0003__difference The difference r_0059_0002__big big r_0059_0001__The_r_0059_0003__difference->r_0059_0002__big [attrib] r_0059_0004__is is r_0059_0004__is->r_0059_0001__The_r_0059_0003__difference [arg0] r_0059_0012__and and r_0059_0004__is->r_0059_0012__and [prd] r_0059_0008__is is r_0059_0012__and->r_0059_0008__is [conj1] r_0059_0015__no_quant no [quant] r_0059_0012__and->r_0059_0015__no_quant [conj2] r_0059_0006__the_r_0059_0007__bar the bar r_0059_0008__is->r_0059_0006__the_r_0059_0007__bar [arg0] r_0059_0009__now now r_0059_0008__is->r_0059_0009__now [nim] r_0059_0011__home home r_0059_0008__is->r_0059_0011__home [prd] r_0059_0010__my my r_0059_0011__home->r_0059_0010__my [gen] r_0059_0013__there_r_0059_0014__is there is r_0059_0015__no_quant->r_0059_0013__there_r_0059_0014__is [scope] r_0059_0016__crowd crowd r_0059_0015__no_quant->r_0059_0016__crowd [restriction] r_0059_0013__there_r_0059_0014__is->r_0059_0016__crowd [arg0] r_0059_0018__people people r_0059_0016__crowd->r_0059_0018__people of 
arc(r_0059_0001__The_r_0059_0003__difference, r_0059_0002__big, attrib5).
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, nim25).
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_0013__there_r_0059_0014__is, r_0059_0016__crowd, arg0).
arc(r_0059_0015__no_quant, r_0059_0013__there_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).


%3 r_0059_0016__crowd crowd r_0059_0018__people people r_0059_0016__crowd->r_0059_0018__people of r_0059_0015__no_quant no [quant] r_0059_0015__no_quant->r_0059_0016__crowd [restriction] r_0059_0013__there_r_0059_0014__is there is r_0059_0015__no_quant->r_0059_0013__there_r_0059_0014__is [scope] r_0059_0013__there_r_0059_0014__is->r_0059_0016__crowd [arg0] r_0059_0012__and and r_0059_0012__and->r_0059_0015__no_quant [conj2] r_0059_0008__is is r_0059_0012__and->r_0059_0008__is [conj1] r_0059_0011__home home r_0059_0008__is->r_0059_0011__home [prd] r_0059_0009__now now r_0059_0008__is->r_0059_0009__now [nim] r_0059_0006__the_r_0059_0007__bar the bar r_0059_0008__is->r_0059_0006__the_r_0059_0007__bar [arg0] r_0059_0010__my my r_0059_0011__home->r_0059_0010__my [gen] r_0059_0004__is is r_0059_0004__is->r_0059_0012__and [prd] r_0059_0001__The_r_0059_0003__difference The difference r_0059_0004__is->r_0059_0001__The_r_0059_0003__difference [arg0] r_0059_0002__big big r_0059_0001__The_r_0059_0003__difference->r_0059_0002__big [attrib] 
fof(formula,axiom,
    ? [R_59_4_IS,R_59_1_THE_DIFFERENCE,R_59_2_BIG,R_59_12_AND,R_59_8_IS,R_59_6_THE_BAR,R_59_9_NOW,R_59_11_HOME,R_59_10_MY] :
      ( big(R_59_2_BIG)
      & the_bar(R_59_6_THE_BAR)
      & now(R_59_9_NOW)
      & my(R_59_10_MY)
      & is(R_59_4_IS,R_59_1_THE_DIFFERENCE,R_59_12_AND)
      & the_difference(R_59_1_THE_DIFFERENCE)
      & attrib5(R_59_1_THE_DIFFERENCE,R_59_2_BIG)
      & ! [R_59_16_CROWD,R_59_18_PEOPLE] :
          ( ( people(R_59_18_PEOPLE)
            & crowd(R_59_16_CROWD)
            & of(R_59_16_CROWD,R_59_18_PEOPLE) )
         => ? [R_59_13_THERE_IS] : there_is(R_59_13_THERE_IS,R_59_16_CROWD) )
      & conj2(CONJ2)
      & and(R_59_12_AND)
      & conj1(R_59_12_AND,R_59_8_IS)
      & is(R_59_8_IS,R_59_6_THE_BAR,R_59_11_HOME)
      & home(R_59_11_HOME)
      & gen(R_59_11_HOME,R_59_10_MY)
      & nim25(R_59_8_IS,R_59_9_NOW) ) ).


n59_a_lockdown n59_a_lockdown__1_1_1_1 The n59_a_lockdown__1_1_2_1_1 big n59_a_lockdown__1_1_3_1 difference n59_a_lockdown__1_2_1 is n59_a_lockdown__1_3_1_1_1 that n59_a_lockdown__1_3_1_2_1_1_1_1 the n59_a_lockdown__1_3_1_2_1_1_2_1 bar n59_a_lockdown__1_3_1_2_1_2_1 is n59_a_lockdown__1_3_1_2_1_3_1_1 now n59_a_lockdown__1_3_1_2_1_4_1_1_1 my n59_a_lockdown__1_3_1_2_1_4_2_1 home n59_a_lockdown__1_3_1_2_2_1_1 and n59_a_lockdown__1_3_1_2_2_2_1_1 there n59_a_lockdown__1_3_1_2_2_2_2_1 is n59_a_lockdown__1_3_1_2_2_2_3_1_1 no n59_a_lockdown__1_3_1_2_2_2_3_2_1 crowd n59_a_lockdown__1_3_1_2_2_2_3_3_1_1 of n59_a_lockdown__1_3_1_2_2_2_3_3_2_1_1 people n59_a_lockdown__1_4_1 . n59_a_lockdown__1 IP-MAT n59_a_lockdown__1_1 NP-SBJ n59_a_lockdown__1->n59_a_lockdown__1_1 n59_a_lockdown__1_2 BEP;_equ_Vf_ n59_a_lockdown__1->n59_a_lockdown__1_2 n59_a_lockdown__1_3 CP-THT-PRD n59_a_lockdown__1->n59_a_lockdown__1_3 n59_a_lockdown__1_4 PUNC n59_a_lockdown__1->n59_a_lockdown__1_4 n59_a_lockdown__1_1_1 D n59_a_lockdown__1_1->n59_a_lockdown__1_1_1 n59_a_lockdown__1_1_2 ADJP n59_a_lockdown__1_1->n59_a_lockdown__1_1_2 n59_a_lockdown__1_1_3 N n59_a_lockdown__1_1->n59_a_lockdown__1_1_3 n59_a_lockdown__1_1_1->n59_a_lockdown__1_1_1_1 n59_a_lockdown__1_1_2_1 ADJ n59_a_lockdown__1_1_2->n59_a_lockdown__1_1_2_1 n59_a_lockdown__1_1_2_1->n59_a_lockdown__1_1_2_1_1 n59_a_lockdown__1_1_3->n59_a_lockdown__1_1_3_1 n59_a_lockdown__1_2->n59_a_lockdown__1_2_1 n59_a_lockdown__1_3_1 IP-SUB n59_a_lockdown__1_3->n59_a_lockdown__1_3_1 n59_a_lockdown__1_3_1_1 C n59_a_lockdown__1_3_1->n59_a_lockdown__1_3_1_1 n59_a_lockdown__1_3_1_2 ILYR n59_a_lockdown__1_3_1->n59_a_lockdown__1_3_1_2 n59_a_lockdown__1_3_1_1->n59_a_lockdown__1_3_1_1_1 n59_a_lockdown__1_3_1_2_1 ILYR n59_a_lockdown__1_3_1_2->n59_a_lockdown__1_3_1_2_1 n59_a_lockdown__1_3_1_2_2 CONJP n59_a_lockdown__1_3_1_2->n59_a_lockdown__1_3_1_2_2 n59_a_lockdown__1_3_1_2_1_1 NP-SBJ n59_a_lockdown__1_3_1_2_1->n59_a_lockdown__1_3_1_2_1_1 n59_a_lockdown__1_3_1_2_1_2 BEP;_Ln_ n59_a_lockdown__1_3_1_2_1->n59_a_lockdown__1_3_1_2_1_2 n59_a_lockdown__1_3_1_2_1_3 ADVP-NIM n59_a_lockdown__1_3_1_2_1->n59_a_lockdown__1_3_1_2_1_3 n59_a_lockdown__1_3_1_2_1_4 NP-PRD n59_a_lockdown__1_3_1_2_1->n59_a_lockdown__1_3_1_2_1_4 n59_a_lockdown__1_3_1_2_1_1_1 D n59_a_lockdown__1_3_1_2_1_1->n59_a_lockdown__1_3_1_2_1_1_1 n59_a_lockdown__1_3_1_2_1_1_2 N n59_a_lockdown__1_3_1_2_1_1->n59_a_lockdown__1_3_1_2_1_1_2 n59_a_lockdown__1_3_1_2_1_1_1->n59_a_lockdown__1_3_1_2_1_1_1_1 n59_a_lockdown__1_3_1_2_1_1_2->n59_a_lockdown__1_3_1_2_1_1_2_1 n59_a_lockdown__1_3_1_2_1_2->n59_a_lockdown__1_3_1_2_1_2_1 n59_a_lockdown__1_3_1_2_1_3_1 ADV n59_a_lockdown__1_3_1_2_1_3->n59_a_lockdown__1_3_1_2_1_3_1 n59_a_lockdown__1_3_1_2_1_3_1->n59_a_lockdown__1_3_1_2_1_3_1_1 n59_a_lockdown__1_3_1_2_1_4_1 NP-GEN n59_a_lockdown__1_3_1_2_1_4->n59_a_lockdown__1_3_1_2_1_4_1 n59_a_lockdown__1_3_1_2_1_4_2 N n59_a_lockdown__1_3_1_2_1_4->n59_a_lockdown__1_3_1_2_1_4_2 n59_a_lockdown__1_3_1_2_1_4_1_1 PRO;_genm_ n59_a_lockdown__1_3_1_2_1_4_1->n59_a_lockdown__1_3_1_2_1_4_1_1 n59_a_lockdown__1_3_1_2_1_4_1_1->n59_a_lockdown__1_3_1_2_1_4_1_1_1 n59_a_lockdown__1_3_1_2_1_4_2->n59_a_lockdown__1_3_1_2_1_4_2_1 n59_a_lockdown__1_3_1_2_2_1 CONJ n59_a_lockdown__1_3_1_2_2->n59_a_lockdown__1_3_1_2_2_1 n59_a_lockdown__1_3_1_2_2_2 ILYR n59_a_lockdown__1_3_1_2_2->n59_a_lockdown__1_3_1_2_2_2 n59_a_lockdown__1_3_1_2_2_1->n59_a_lockdown__1_3_1_2_2_1_1 n59_a_lockdown__1_3_1_2_2_2_1 EX n59_a_lockdown__1_3_1_2_2_2->n59_a_lockdown__1_3_1_2_2_2_1 n59_a_lockdown__1_3_1_2_2_2_2 BEP;_ex_V_ n59_a_lockdown__1_3_1_2_2_2->n59_a_lockdown__1_3_1_2_2_2_2 n59_a_lockdown__1_3_1_2_2_2_3 NP-ESBJ n59_a_lockdown__1_3_1_2_2_2->n59_a_lockdown__1_3_1_2_2_2_3 n59_a_lockdown__1_3_1_2_2_2_1->n59_a_lockdown__1_3_1_2_2_2_1_1 n59_a_lockdown__1_3_1_2_2_2_2->n59_a_lockdown__1_3_1_2_2_2_2_1 n59_a_lockdown__1_3_1_2_2_2_3_1 Q n59_a_lockdown__1_3_1_2_2_2_3->n59_a_lockdown__1_3_1_2_2_2_3_1 n59_a_lockdown__1_3_1_2_2_2_3_2 N n59_a_lockdown__1_3_1_2_2_2_3->n59_a_lockdown__1_3_1_2_2_2_3_2 n59_a_lockdown__1_3_1_2_2_2_3_3 PP n59_a_lockdown__1_3_1_2_2_2_3->n59_a_lockdown__1_3_1_2_2_2_3_3 n59_a_lockdown__1_3_1_2_2_2_3_1->n59_a_lockdown__1_3_1_2_2_2_3_1_1 n59_a_lockdown__1_3_1_2_2_2_3_2->n59_a_lockdown__1_3_1_2_2_2_3_2_1 n59_a_lockdown__1_3_1_2_2_2_3_3_1 P-ROLE n59_a_lockdown__1_3_1_2_2_2_3_3->n59_a_lockdown__1_3_1_2_2_2_3_3_1 n59_a_lockdown__1_3_1_2_2_2_3_3_2 NP n59_a_lockdown__1_3_1_2_2_2_3_3->n59_a_lockdown__1_3_1_2_2_2_3_3_2 n59_a_lockdown__1_3_1_2_2_2_3_3_1->n59_a_lockdown__1_3_1_2_2_2_3_3_1_1 n59_a_lockdown__1_3_1_2_2_2_3_3_2_1 NS n59_a_lockdown__1_3_1_2_2_2_3_3_2->n59_a_lockdown__1_3_1_2_2_2_3_3_2_1 n59_a_lockdown__1_3_1_2_2_2_3_3_2_1->n59_a_lockdown__1_3_1_2_2_2_3_3_2_1_1 n59_a_lockdown__1_4->n59_a_lockdown__1_4_1 
( (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))