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, qual9).
arc(r_0010_0004__more, z_000_10_a_takmi_21, r_0010_0006__than).
arc(r_0010_0005__sour, r_0010_0004__more, qual8).
arc(r_0010_0009__ate, r_0010_0001__It, arg1).
arc(r_0010_0009__ate, r_0010_0008__I, arg0).
arc(r_0010_0009__ate, r_0010_0011__before, nim34).
arc(r_0010_0009__ate, z_000_10_a_takmi_21, nim23).

fof(formula,axiom,
    ? [R_0010_0001__IT,R_0010_0003__A_LITTLE,Z_000_10_A_TAKMI_21,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_0008__I(R_0010_0008__I)
      & r_0010_0011__before(R_0010_0011__BEFORE)
      & z_000_10_a_takmi_21(Z_000_10_A_TAKMI_21)
      & r_0010_0009__ate(R_0010_0009__ATE)
      & has_nim23(R_0010_0009__ATE,Z_000_10_A_TAKMI_21)
      & has_nim34(R_0010_0009__ATE,R_0010_0011__BEFORE)
      & has_arg0(R_0010_0009__ATE,R_0010_0008__I)
      & 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_qual8(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,Z_000_10_A_TAKMI_21)
      & has_qual9(R_0010_0004__MORE,R_0010_0003__A_LITTLE)
      & has_arg0(R_0010_0002__WAS,R_0010_0001__IT) ) ).

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