( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (VBD;_Tn_ bought;{buy})
                      (NP-OB1;{FOOD} (D some;{some})
                                     (N ice;{ice})
                                     (N cream;{cream}))
                      (ADVP-NIM (ADV today;{today})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{FOOD} (PRO it;{it}))
                             (HVD;_Tn_ had;{have})
                             (NP-OB1 (D a;{a})
                                     (ADJP (ADJ strange;{strange}))
                                     (N odor;{odor})))))
          (PUNC .))
  (ID 12_a_takmi))

arc(r_0012_0002__bought,r_0012_0001__I,arg0).
arc(r_0012_0002__bought,r_0012_0003__some_r_0012_0004__ice_r_0012_0005__cream,arg1).
arc(r_0012_0002__bought,r_0012_0006__today,nim).
arc(r_0012_0008__but,r_0012_0002__bought,conj1).
arc(r_0012_0008__but,r_0012_0010__had,conj2).
arc(r_0012_0010__had,r_0012_0003__some_r_0012_0004__ice_r_0012_0005__cream,arg0).
arc(r_0012_0010__had,r_0012_0011__a_r_0012_0013__odor,arg1).
arc(r_0012_0011__a_r_0012_0013__odor,r_0012_0012__strange,attrib).

fof(formula,axiom,
    ? [R_0012_0001__I,R_0012_0003__SOME_R_0012_0004__ICE_R_0012_0005__CREAM,R_0012_0006__TODAY,R_0012_0002__BOUGHT,R_0012_0012__STRANGE,R_0012_0011__A_R_0012_0013__ODOR,R_0012_0010__HAD,R_0012_0008__BUT] :
      ( r_0012_0001__I(R_0012_0001__I)
      & r_0012_0003__some_r_0012_0004__ice_r_0012_0005__cream(R_0012_0003__SOME_R_0012_0004__ICE_R_0012_0005__CREAM)
      & r_0012_0006__today(R_0012_0006__TODAY)
      & r_0012_0012__strange(R_0012_0012__STRANGE)
      & r_0012_0008__but(R_0012_0008__BUT)
      & has_conj2(R_0012_0008__BUT,R_0012_0010__HAD)
      & r_0012_0010__had(R_0012_0010__HAD)
      & has_arg1(R_0012_0010__HAD,R_0012_0011__A_R_0012_0013__ODOR)
      & r_0012_0011__a_r_0012_0013__odor(R_0012_0011__A_R_0012_0013__ODOR)
      & has_attrib(R_0012_0011__A_R_0012_0013__ODOR,R_0012_0012__STRANGE)
      & has_arg0(R_0012_0010__HAD,R_0012_0003__SOME_R_0012_0004__ICE_R_0012_0005__CREAM)
      & has_conj1(R_0012_0008__BUT,R_0012_0002__BOUGHT)
      & r_0012_0002__bought(R_0012_0002__BOUGHT)
      & has_nim(R_0012_0002__BOUGHT,R_0012_0006__TODAY)
      & has_arg1(R_0012_0002__BOUGHT,R_0012_0003__SOME_R_0012_0004__ICE_R_0012_0005__CREAM)
      & has_arg0(R_0012_0002__BOUGHT,R_0012_0001__I) ) ).