( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Tn_ love;{love})
          (NP-OB1 (D the;{the})
                  (NS ads;{ad})
                  (PP (P-ROLE for;{for})
                      (NP (D the;{the})
                          (ADJP (ADJ new;{new}))
                          (N milk;{milk})
                          (N chocolate;{chocolate}))))
          (PUNC .))
  (ID 6_a_takmi))

arc(r_0006_0002__love,r_0006_0001__I,arg0).
arc(r_0006_0002__love,r_0006_0003__the_r_0006_0004__ads,arg1).
arc(r_0006_0003__the_r_0006_0004__ads,r_0006_0006__the_r_0006_0008__milk_r_0006_0009__chocolate,r_0006_0005__for).
arc(r_0006_0006__the_r_0006_0008__milk_r_0006_0009__chocolate,r_0006_0007__new,attrib).

fof(formula,axiom,
    ? [R_0006_0001__I,R_0006_0007__NEW,R_0006_0006__THE_R_0006_0008__MILK_R_0006_0009__CHOCOLATE,R_0006_0003__THE_R_0006_0004__ADS,R_0006_0002__LOVE] :
      ( r_0006_0001__I(R_0006_0001__I)
      & r_0006_0007__new(R_0006_0007__NEW)
      & r_0006_0002__love(R_0006_0002__LOVE)
      & has_arg1(R_0006_0002__LOVE,R_0006_0003__THE_R_0006_0004__ADS)
      & r_0006_0003__the_r_0006_0004__ads(R_0006_0003__THE_R_0006_0004__ADS)
      & has_r_0006_0005__for(R_0006_0003__THE_R_0006_0004__ADS,R_0006_0006__THE_R_0006_0008__MILK_R_0006_0009__CHOCOLATE)
      & r_0006_0006__the_r_0006_0008__milk_r_0006_0009__chocolate(R_0006_0006__THE_R_0006_0008__MILK_R_0006_0009__CHOCOLATE)
      & has_attrib(R_0006_0006__THE_R_0006_0008__MILK_R_0006_0009__CHOCOLATE,R_0006_0007__NEW)
      & has_arg0(R_0006_0002__LOVE,R_0006_0001__I) ) ).