( (IP-MAT (NP-SBJ;{FOOD} (PRO It;{it}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADVP (ADVP (ADV a_little;{a_little}))
                          (ADVR more;{more})
                          (PP *ICH*-146))
                    (ADJ sour;{sour})
                    (PP-EPD-146 (P-ROLE than;{than})
                                (NP (IP-REL (ADVP-NIM (RADV when;{when}))
                                            (NP-SBJ (PRO I;{I}))
                                            (VBD;_Tn_ ate;{eat})
                                            (NP-OB1;{FOOD} (PRO it;{it}))
                                            (ADVP-NIM (ADV before;{before}))))))
          (PUNC .))
  (ID 10_a_takmi))

arc(r_0010_0002__was,r_0010_0001__It,arg0).
arc(r_0010_0002__was,r_0010_0005__sour,prd).
arc(r_0010_0004__more,r_0010_0003__a_little,qual).
arc(r_0010_0004__more,r_0010_0007__when,r_0010_0006__than).
arc(r_0010_0005__sour,r_0010_0004__more,qual).
arc(r_0010_0009__ate,r_0010_0001__It,arg1).
arc(r_0010_0009__ate,r_0010_0007__when,nim).
arc(r_0010_0009__ate,r_0010_0008__I,arg0).
arc(r_0010_0009__ate,r_0010_0011__before,nim).

fof(formula,axiom,
    ? [R_0010_0001__IT,R_0010_0003__A_LITTLE,R_0010_0007__WHEN,R_0010_0004__MORE,R_0010_0005__SOUR,R_0010_0002__WAS,R_0010_0008__I,R_0010_0011__BEFORE,R_0010_0009__ATE] :
      ( r_0010_0001__It(R_0010_0001__IT)
      & r_0010_0003__a_little(R_0010_0003__A_LITTLE)
      & r_0010_0007__when(R_0010_0007__WHEN)
      & r_0010_0008__I(R_0010_0008__I)
      & r_0010_0011__before(R_0010_0011__BEFORE)
      & r_0010_0009__ate(R_0010_0009__ATE)
      & has_nim(R_0010_0009__ATE,R_0010_0011__BEFORE)
      & has_arg0(R_0010_0009__ATE,R_0010_0008__I)
      & has_nim(R_0010_0009__ATE,R_0010_0007__WHEN)
      & has_arg1(R_0010_0009__ATE,R_0010_0001__IT)
      & r_0010_0002__was(R_0010_0002__WAS)
      & has_prd(R_0010_0002__WAS,R_0010_0005__SOUR)
      & r_0010_0005__sour(R_0010_0005__SOUR)
      & has_qual(R_0010_0005__SOUR,R_0010_0004__MORE)
      & r_0010_0004__more(R_0010_0004__MORE)
      & has_r_0010_0006__than(R_0010_0004__MORE,R_0010_0007__WHEN)
      & has_qual(R_0010_0004__MORE,R_0010_0003__A_LITTLE)
      & has_arg0(R_0010_0002__WAS,R_0010_0001__IT) ) ).