( (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))

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,nim).
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,nim).

fof(formula,axiom,
    ? [R_0014_0001__I,R_0014_0003__IT,R_0014_0007__YESTERDAY,R_0014_0004__THE_R_0014_0005__DAY,R_0014_0002__BOUGHT,R_0014_0009__AND] :
      ( r_0014_0001__I(R_0014_0001__I)
      & r_0014_0003__it(R_0014_0003__IT)
      & r_0014_0007__yesterday(R_0014_0007__YESTERDAY)
      & r_0014_0009__and(R_0014_0009__AND)
      & has_conj2(R_0014_0009__AND,R_0014_0013__N_APOS_T)
      & ~ ? [R_0014_0010__THE_R_0014_0011__DATE,R_0014_0015__YET,R_0014_0012__HAS_R_0014_0014__EXPIRED] :
            ( r_0014_0010__the_r_0014_0011__date(R_0014_0010__THE_R_0014_0011__DATE)
            & r_0014_0015__yet(R_0014_0015__YET)
            & r_0014_0012__has_r_0014_0014__expired(R_0014_0012__HAS_R_0014_0014__EXPIRED)
            & has_nim(R_0014_0012__HAS_R_0014_0014__EXPIRED,R_0014_0015__YET)
            & has_arg0(R_0014_0012__HAS_R_0014_0014__EXPIRED,R_0014_0010__THE_R_0014_0011__DATE) )
      & has_conj1(R_0014_0009__AND,R_0014_0002__BOUGHT)
      & r_0014_0002__bought(R_0014_0002__BOUGHT)
      & has_nim(R_0014_0002__BOUGHT,R_0014_0004__THE_R_0014_0005__DAY)
      & r_0014_0004__the_r_0014_0005__day(R_0014_0004__THE_R_0014_0005__DAY)
      & has_r_0014_0006__before(R_0014_0004__THE_R_0014_0005__DAY,R_0014_0007__YESTERDAY)
      & has_arg1(R_0014_0002__BOUGHT,R_0014_0003__IT)
      & has_arg0(R_0014_0002__BOUGHT,R_0014_0001__I) ) ).