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, nim16).
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, attrib33).

fof(formula,axiom,
    ? [R_12_8_BUT,R_12_2_BOUGHT,R_12_1_I,R_12_6_TODAY,R_12_10_HAD,R_12_3_SOME_ICE_CREAM,R_12_11_A_ODOR,R_12_12_STRANGE] :
      ( i(R_12_1_I)
      & today(R_12_6_TODAY)
      & some_ice_cream(R_12_3_SOME_ICE_CREAM)
      & strange(R_12_12_STRANGE)
      & but(R_12_8_BUT)
      & conj1(R_12_8_BUT,R_12_2_BOUGHT)
      & bought(R_12_2_BOUGHT,R_12_1_I,R_12_3_SOME_ICE_CREAM)
      & nim16(R_12_2_BOUGHT,R_12_6_TODAY)
      & conj2(R_12_8_BUT,R_12_10_HAD)
      & had(R_12_10_HAD,R_12_3_SOME_ICE_CREAM,R_12_11_A_ODOR)
      & a_odor(R_12_11_A_ODOR)
      & attrib33(R_12_11_A_ODOR,R_12_12_STRANGE) ) ).

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