Context                Previous, Next                Top


14_a_takmi
I bought it the day before yesterday, and the date hasn't expired yet.

%3 r_0014_0002__bought bought r_0014_0001__I I r_0014_0002__bought->r_0014_0001__I [arg0] r_0014_0003__it it r_0014_0002__bought->r_0014_0003__it [arg1] r_0014_0004__the_r_0014_0005__day the day r_0014_0002__bought->r_0014_0004__the_r_0014_0005__day [nim] r_0014_0007__yesterday yesterday r_0014_0004__the_r_0014_0005__day->r_0014_0007__yesterday before r_0014_0009__and and r_0014_0009__and->r_0014_0002__bought [conj1] r_0014_0013__n_apos_t n't r_0014_0009__and->r_0014_0013__n_apos_t [conj2] r_0014_0012__has has r_0014_0013__n_apos_t->r_0014_0012__has [keep_scope] r_0014_0014__expired expired r_0014_0012__has->r_0014_0014__expired [scope] r_0014_0010__the_r_0014_0011__date the date r_0014_0014__expired->r_0014_0010__the_r_0014_0011__date [arg0] r_0014_0015__yet yet r_0014_0014__expired->r_0014_0015__yet [nim] 
arc(r_0014_0002__bought, r_0014_0001__I, arg0).
arc(r_0014_0002__bought, r_0014_0003__it, arg1).
arc(r_0014_0002__bought, r_0014_0004__the_r_0014_0005__day, nim12).
arc(r_0014_0004__the_r_0014_0005__day, r_0014_0007__yesterday, r_0014_0006__before).
arc(r_0014_0009__and, r_0014_0002__bought, conj1).
arc(r_0014_0009__and, r_0014_0013__n_apos_t, conj2).
arc(r_0014_0012__has, r_0014_0014__expired, scope).
arc(r_0014_0013__n_apos_t, r_0014_0012__has, keep_scope).
arc(r_0014_0014__expired, r_0014_0010__the_r_0014_0011__date, arg0).
arc(r_0014_0014__expired, r_0014_0015__yet, nim41).


%3 r_0014_0012__has_r_0014_0014__expired has expired r_0014_0015__yet yet r_0014_0012__has_r_0014_0014__expired->r_0014_0015__yet [nim] r_0014_0010__the_r_0014_0011__date the date r_0014_0012__has_r_0014_0014__expired->r_0014_0010__the_r_0014_0011__date [arg0] r_0014_0013__n_apos_t n't r_0014_0013__n_apos_t->r_0014_0012__has_r_0014_0014__expired [keep_scope] r_0014_0009__and and r_0014_0009__and->r_0014_0013__n_apos_t [conj2] r_0014_0002__bought bought r_0014_0009__and->r_0014_0002__bought [conj1] r_0014_0004__the_r_0014_0005__day the day r_0014_0002__bought->r_0014_0004__the_r_0014_0005__day [nim] r_0014_0003__it it r_0014_0002__bought->r_0014_0003__it [arg1] r_0014_0001__I I r_0014_0002__bought->r_0014_0001__I [arg0] r_0014_0007__yesterday yesterday r_0014_0004__the_r_0014_0005__day->r_0014_0007__yesterday before 
fof(formula,axiom,
    ? [R_14_9_AND,R_14_2_BOUGHT,R_14_1_I,R_14_3_IT,R_14_4_THE_DAY,R_14_7_YESTERDAY] :
      ( i(R_14_1_I)
      & it(R_14_3_IT)
      & yesterday(R_14_7_YESTERDAY)
      & and(R_14_9_AND)
      & conj1(R_14_9_AND,R_14_2_BOUGHT)
      & bought(R_14_2_BOUGHT,R_14_1_I,R_14_3_IT)
      & nim12(R_14_2_BOUGHT,R_14_4_THE_DAY)
      & the_day(R_14_4_THE_DAY)
      & before(R_14_4_THE_DAY,R_14_7_YESTERDAY)
      & conj2(R_14_9_AND,R_14_13_N_APOS_T)
      & ~ ? [R_14_12_HAS_EXPIRED,R_14_10_THE_DATE,R_14_15_YET] :
            ( the_date(R_14_10_THE_DATE)
            & yet(R_14_15_YET)
            & has_expired(R_14_12_HAS_EXPIRED,R_14_10_THE_DATE)
            & nim41(R_14_12_HAS_EXPIRED,R_14_15_YET) ) ) ).


n14_a_takmi n14_a_takmi__1_1_1_1_1_1 I n14_a_takmi__1_1_1_2_1 bought n14_a_takmi__1_1_1_3_1_1 it n14_a_takmi__1_1_1_4_1_1 the n14_a_takmi__1_1_1_4_2_1 day n14_a_takmi__1_1_1_4_3_1_1 before n14_a_takmi__1_1_1_4_3_2_1_1 yesterday n14_a_takmi__1_1_2_1 , n14_a_takmi__1_1_3_1_1 and n14_a_takmi__1_1_3_2_1_1_1 the n14_a_takmi__1_1_3_2_1_2_1 date n14_a_takmi__1_1_3_2_2_1 has n14_a_takmi__1_1_3_2_3_1 n't n14_a_takmi__1_1_3_2_4_1_1 expired n14_a_takmi__1_1_3_2_4_2_1_1 yet n14_a_takmi__1_2_1 . n14_a_takmi__1 IP-MAT n14_a_takmi__1_1 ILYR n14_a_takmi__1->n14_a_takmi__1_1 n14_a_takmi__1_2 PUNC n14_a_takmi__1->n14_a_takmi__1_2 n14_a_takmi__1_1_1 ILYR n14_a_takmi__1_1->n14_a_takmi__1_1_1 n14_a_takmi__1_1_2 PUNC n14_a_takmi__1_1->n14_a_takmi__1_1_2 n14_a_takmi__1_1_3 CONJP n14_a_takmi__1_1->n14_a_takmi__1_1_3 n14_a_takmi__1_1_1_1 NP-SBJ n14_a_takmi__1_1_1->n14_a_takmi__1_1_1_1 n14_a_takmi__1_1_1_2 VBD;_Tn_ n14_a_takmi__1_1_1->n14_a_takmi__1_1_1_2 n14_a_takmi__1_1_1_3 NP-OB1 n14_a_takmi__1_1_1->n14_a_takmi__1_1_1_3 n14_a_takmi__1_1_1_4 NP-NIM n14_a_takmi__1_1_1->n14_a_takmi__1_1_1_4 n14_a_takmi__1_1_1_1_1 PRO n14_a_takmi__1_1_1_1->n14_a_takmi__1_1_1_1_1 n14_a_takmi__1_1_1_1_1->n14_a_takmi__1_1_1_1_1_1 n14_a_takmi__1_1_1_2->n14_a_takmi__1_1_1_2_1 n14_a_takmi__1_1_1_3_1 PRO n14_a_takmi__1_1_1_3->n14_a_takmi__1_1_1_3_1 n14_a_takmi__1_1_1_3_1->n14_a_takmi__1_1_1_3_1_1 n14_a_takmi__1_1_1_4_1 D n14_a_takmi__1_1_1_4->n14_a_takmi__1_1_1_4_1 n14_a_takmi__1_1_1_4_2 N n14_a_takmi__1_1_1_4->n14_a_takmi__1_1_1_4_2 n14_a_takmi__1_1_1_4_3 PP n14_a_takmi__1_1_1_4->n14_a_takmi__1_1_1_4_3 n14_a_takmi__1_1_1_4_1->n14_a_takmi__1_1_1_4_1_1 n14_a_takmi__1_1_1_4_2->n14_a_takmi__1_1_1_4_2_1 n14_a_takmi__1_1_1_4_3_1 P-ROLE n14_a_takmi__1_1_1_4_3->n14_a_takmi__1_1_1_4_3_1 n14_a_takmi__1_1_1_4_3_2 ADVP n14_a_takmi__1_1_1_4_3->n14_a_takmi__1_1_1_4_3_2 n14_a_takmi__1_1_1_4_3_1->n14_a_takmi__1_1_1_4_3_1_1 n14_a_takmi__1_1_1_4_3_2_1 ADV n14_a_takmi__1_1_1_4_3_2->n14_a_takmi__1_1_1_4_3_2_1 n14_a_takmi__1_1_1_4_3_2_1->n14_a_takmi__1_1_1_4_3_2_1_1 n14_a_takmi__1_1_2->n14_a_takmi__1_1_2_1 n14_a_takmi__1_1_3_1 CONJ n14_a_takmi__1_1_3->n14_a_takmi__1_1_3_1 n14_a_takmi__1_1_3_2 ILYR n14_a_takmi__1_1_3->n14_a_takmi__1_1_3_2 n14_a_takmi__1_1_3_1->n14_a_takmi__1_1_3_1_1 n14_a_takmi__1_1_3_2_1 NP-SBJ n14_a_takmi__1_1_3_2->n14_a_takmi__1_1_3_2_1 n14_a_takmi__1_1_3_2_2 HVP;_cat_Ve_ n14_a_takmi__1_1_3_2->n14_a_takmi__1_1_3_2_2 n14_a_takmi__1_1_3_2_3 NEG;_clitic_ n14_a_takmi__1_1_3_2->n14_a_takmi__1_1_3_2_3 n14_a_takmi__1_1_3_2_4 IP-PPL-CAT n14_a_takmi__1_1_3_2->n14_a_takmi__1_1_3_2_4 n14_a_takmi__1_1_3_2_1_1 D n14_a_takmi__1_1_3_2_1->n14_a_takmi__1_1_3_2_1_1 n14_a_takmi__1_1_3_2_1_2 N n14_a_takmi__1_1_3_2_1->n14_a_takmi__1_1_3_2_1_2 n14_a_takmi__1_1_3_2_1_1->n14_a_takmi__1_1_3_2_1_1_1 n14_a_takmi__1_1_3_2_1_2->n14_a_takmi__1_1_3_2_1_2_1 n14_a_takmi__1_1_3_2_2->n14_a_takmi__1_1_3_2_2_1 n14_a_takmi__1_1_3_2_3->n14_a_takmi__1_1_3_2_3_1 n14_a_takmi__1_1_3_2_4_1 VVN;_I_ n14_a_takmi__1_1_3_2_4->n14_a_takmi__1_1_3_2_4_1 n14_a_takmi__1_1_3_2_4_2 ADVP-NIM n14_a_takmi__1_1_3_2_4->n14_a_takmi__1_1_3_2_4_2 n14_a_takmi__1_1_3_2_4_1->n14_a_takmi__1_1_3_2_4_1_1 n14_a_takmi__1_1_3_2_4_2_1 ADV n14_a_takmi__1_1_3_2_4_2->n14_a_takmi__1_1_3_2_4_2_1 n14_a_takmi__1_1_3_2_4_2_1->n14_a_takmi__1_1_3_2_4_2_1_1 n14_a_takmi__1_2->n14_a_takmi__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (VBD;_Tn_ bought;{buy})
                      (NP-OB1;{FOOD} (PRO it;{it}))
                      (NP-NIM (D the;{the})
                              (N day;{day})
                              (PP (P-ROLE before;{before})
                                  (ADVP (ADV yesterday;{yesterday})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (N date;{date}))
                             (HVP;_cat_Ve_ has;{have})
                             (NEG;_clitic_ n<apos>t;{not})
                             (IP-PPL-CAT (VVN;_I_ expired;{expire})
                                         (ADVP-NIM (ADV yet;{yet}))))))
          (PUNC .))
  (ID 14_a_takmi))