( (FRAG (ILYR (ILYR (ADVP-NIM (ADV Almost;{almost}))
                    (PP-CLR (P-ROLE like;{like})
                            (NP (D an;{an})
                                (N eggplant;{eggplant}))))
              (PUNC ,)
              (CONJP (CONJ but;{but})
                     (ILYR (NP-PRD (ADJP (ADJR deeper;{deep}))
                                   (N purple;{purple})))))
        (PUNC .))
  (ID 9_a_toeic;32-34;speaker=customer))

arc(r_0009_0006__but,z_0009_5003,conj1).
arc(r_0009_0006__but,z_0009_5007,conj2).
arc(r_0009_0008__purple,r_0009_0007__deeper,attrib).
arc(z_0009_5003,r_0009_0001__Almost,nim).
arc(z_0009_5003,r_0009_0003__an_r_0009_0004__eggplant,r_0009_0002__like__clr).
arc(z_0009_5007,r_0009_0008__purple,prd).

fof(formula,axiom,
    ? [R_0009_0001__ALMOST,R_0009_0003__AN_R_0009_0004__EGGPLANT,Z_0009_5003,R_0009_0007__DEEPER,R_0009_0008__PURPLE,Z_0009_5007,R_0009_0006__BUT] :
      ( r_0009_0001__Almost(R_0009_0001__ALMOST)
      & r_0009_0003__an_r_0009_0004__eggplant(R_0009_0003__AN_R_0009_0004__EGGPLANT)
      & r_0009_0007__deeper(R_0009_0007__DEEPER)
      & r_0009_0006__but(R_0009_0006__BUT)
      & has_conj2(R_0009_0006__BUT,Z_0009_5007)
      & z_0009_5007(Z_0009_5007)
      & has_prd(Z_0009_5007,R_0009_0008__PURPLE)
      & r_0009_0008__purple(R_0009_0008__PURPLE)
      & has_attrib(R_0009_0008__PURPLE,R_0009_0007__DEEPER)
      & has_conj1(R_0009_0006__BUT,Z_0009_5003)
      & z_0009_5003(Z_0009_5003)
      & has_r_0009_0002__like__clr(Z_0009_5003,R_0009_0003__AN_R_0009_0004__EGGPLANT)
      & has_nim(Z_0009_5003,R_0009_0001__ALMOST) ) ).