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_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_r_0014_0014__expired has expired r_0014_0013__n_apos_t->r_0014_0012__has_r_0014_0014__expired [keep_scope] 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_0015__yet yet r_0014_0012__has_r_0014_0014__expired->r_0014_0015__yet [nim] 
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_6 I n14_a_takmi_8 bought n14_a_takmi_11 it n14_a_takmi_14 the n14_a_takmi_16 day n14_a_takmi_19 before n14_a_takmi_22 yesterday n14_a_takmi_24 , n14_a_takmi_27 and n14_a_takmi_31 the n14_a_takmi_33 date n14_a_takmi_35 has n14_a_takmi_37 n't n14_a_takmi_40 expired n14_a_takmi_43 yet n14_a_takmi_45 . n14_a_takmi_1 IP-MAT n14_a_takmi_2 ILYR n14_a_takmi_1->n14_a_takmi_2 n14_a_takmi_44 PUNC n14_a_takmi_1->n14_a_takmi_44 n14_a_takmi_3 ILYR n14_a_takmi_2->n14_a_takmi_3 n14_a_takmi_23 PUNC n14_a_takmi_2->n14_a_takmi_23 n14_a_takmi_25 CONJP n14_a_takmi_2->n14_a_takmi_25 n14_a_takmi_4 NP-SBJ n14_a_takmi_3->n14_a_takmi_4 n14_a_takmi_7 VBD;_Tn_ n14_a_takmi_3->n14_a_takmi_7 n14_a_takmi_9 NP-OB1 n14_a_takmi_3->n14_a_takmi_9 n14_a_takmi_12 NP-NIM n14_a_takmi_3->n14_a_takmi_12 n14_a_takmi_5 PRO n14_a_takmi_4->n14_a_takmi_5 n14_a_takmi_5->n14_a_takmi_6 n14_a_takmi_7->n14_a_takmi_8 n14_a_takmi_10 PRO n14_a_takmi_9->n14_a_takmi_10 n14_a_takmi_10->n14_a_takmi_11 n14_a_takmi_13 D n14_a_takmi_12->n14_a_takmi_13 n14_a_takmi_15 N n14_a_takmi_12->n14_a_takmi_15 n14_a_takmi_17 PP n14_a_takmi_12->n14_a_takmi_17 n14_a_takmi_13->n14_a_takmi_14 n14_a_takmi_15->n14_a_takmi_16 n14_a_takmi_18 P-ROLE n14_a_takmi_17->n14_a_takmi_18 n14_a_takmi_20 ADVP n14_a_takmi_17->n14_a_takmi_20 n14_a_takmi_18->n14_a_takmi_19 n14_a_takmi_21 ADV n14_a_takmi_20->n14_a_takmi_21 n14_a_takmi_21->n14_a_takmi_22 n14_a_takmi_23->n14_a_takmi_24 n14_a_takmi_26 CONJ n14_a_takmi_25->n14_a_takmi_26 n14_a_takmi_28 ILYR n14_a_takmi_25->n14_a_takmi_28 n14_a_takmi_26->n14_a_takmi_27 n14_a_takmi_29 NP-SBJ n14_a_takmi_28->n14_a_takmi_29 n14_a_takmi_34 HVP;_cat_Ve_ n14_a_takmi_28->n14_a_takmi_34 n14_a_takmi_36 NEG;_clitic_ n14_a_takmi_28->n14_a_takmi_36 n14_a_takmi_38 IP-PPL-CAT n14_a_takmi_28->n14_a_takmi_38 n14_a_takmi_30 D n14_a_takmi_29->n14_a_takmi_30 n14_a_takmi_32 N n14_a_takmi_29->n14_a_takmi_32 n14_a_takmi_30->n14_a_takmi_31 n14_a_takmi_32->n14_a_takmi_33 n14_a_takmi_34->n14_a_takmi_35 n14_a_takmi_36->n14_a_takmi_37 n14_a_takmi_39 VVN;_I_ n14_a_takmi_38->n14_a_takmi_39 n14_a_takmi_41 ADVP-NIM n14_a_takmi_38->n14_a_takmi_41 n14_a_takmi_39->n14_a_takmi_40 n14_a_takmi_42 ADV n14_a_takmi_41->n14_a_takmi_42 n14_a_takmi_42->n14_a_takmi_43 n14_a_takmi_44->n14_a_takmi_45 
( (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))