Context                Previous, Next                Top


12_a_takmi
I bought some ice cream today, but it had a strange odor.

%3 r_0012_0002__bought bought r_0012_0001__I I r_0012_0002__bought->r_0012_0001__I [arg0] r_0012_0003__some_r_0012_0004__ice_r_0012_0005__cream some ice cream r_0012_0002__bought->r_0012_0003__some_r_0012_0004__ice_r_0012_0005__cream [arg1] r_0012_0006__today today r_0012_0002__bought->r_0012_0006__today [nim] r_0012_0008__but but r_0012_0008__but->r_0012_0002__bought [conj1] r_0012_0010__had had r_0012_0008__but->r_0012_0010__had [conj2] r_0012_0010__had->r_0012_0003__some_r_0012_0004__ice_r_0012_0005__cream [arg0] r_0012_0011__a_r_0012_0013__odor a odor r_0012_0010__had->r_0012_0011__a_r_0012_0013__odor [arg1] r_0012_0012__strange strange r_0012_0011__a_r_0012_0013__odor->r_0012_0012__strange [attrib] 
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).


%3 r_0012_0011__a_r_0012_0013__odor a odor r_0012_0012__strange strange r_0012_0011__a_r_0012_0013__odor->r_0012_0012__strange [attrib] r_0012_0010__had had r_0012_0010__had->r_0012_0011__a_r_0012_0013__odor [arg1] r_0012_0003__some_r_0012_0004__ice_r_0012_0005__cream some ice cream r_0012_0010__had->r_0012_0003__some_r_0012_0004__ice_r_0012_0005__cream [arg0] r_0012_0008__but but r_0012_0008__but->r_0012_0010__had [conj2] r_0012_0002__bought bought r_0012_0008__but->r_0012_0002__bought [conj1] r_0012_0002__bought->r_0012_0003__some_r_0012_0004__ice_r_0012_0005__cream [arg1] r_0012_0006__today today r_0012_0002__bought->r_0012_0006__today [nim] r_0012_0001__I I r_0012_0002__bought->r_0012_0001__I [arg0] 
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) ) ).


n12_a_takmi n12_a_takmi__1_1_1_1_1_1 I n12_a_takmi__1_1_1_2_1 bought n12_a_takmi__1_1_1_3_1_1 some n12_a_takmi__1_1_1_3_2_1 ice n12_a_takmi__1_1_1_3_3_1 cream n12_a_takmi__1_1_1_4_1_1 today n12_a_takmi__1_1_2_1 , n12_a_takmi__1_1_3_1_1 but n12_a_takmi__1_1_3_2_1_1_1 it n12_a_takmi__1_1_3_2_2_1 had n12_a_takmi__1_1_3_2_3_1_1 a n12_a_takmi__1_1_3_2_3_2_1_1 strange n12_a_takmi__1_1_3_2_3_3_1 odor n12_a_takmi__1_2_1 . n12_a_takmi__1 IP-MAT n12_a_takmi__1_1 ILYR n12_a_takmi__1->n12_a_takmi__1_1 n12_a_takmi__1_2 PUNC n12_a_takmi__1->n12_a_takmi__1_2 n12_a_takmi__1_1_1 ILYR n12_a_takmi__1_1->n12_a_takmi__1_1_1 n12_a_takmi__1_1_2 PUNC n12_a_takmi__1_1->n12_a_takmi__1_1_2 n12_a_takmi__1_1_3 CONJP n12_a_takmi__1_1->n12_a_takmi__1_1_3 n12_a_takmi__1_1_1_1 NP-SBJ n12_a_takmi__1_1_1->n12_a_takmi__1_1_1_1 n12_a_takmi__1_1_1_2 VBD;_Tn_ n12_a_takmi__1_1_1->n12_a_takmi__1_1_1_2 n12_a_takmi__1_1_1_3 NP-OB1 n12_a_takmi__1_1_1->n12_a_takmi__1_1_1_3 n12_a_takmi__1_1_1_4 ADVP-NIM n12_a_takmi__1_1_1->n12_a_takmi__1_1_1_4 n12_a_takmi__1_1_1_1_1 PRO n12_a_takmi__1_1_1_1->n12_a_takmi__1_1_1_1_1 n12_a_takmi__1_1_1_1_1->n12_a_takmi__1_1_1_1_1_1 n12_a_takmi__1_1_1_2->n12_a_takmi__1_1_1_2_1 n12_a_takmi__1_1_1_3_1 D n12_a_takmi__1_1_1_3->n12_a_takmi__1_1_1_3_1 n12_a_takmi__1_1_1_3_2 N n12_a_takmi__1_1_1_3->n12_a_takmi__1_1_1_3_2 n12_a_takmi__1_1_1_3_3 N n12_a_takmi__1_1_1_3->n12_a_takmi__1_1_1_3_3 n12_a_takmi__1_1_1_3_1->n12_a_takmi__1_1_1_3_1_1 n12_a_takmi__1_1_1_3_2->n12_a_takmi__1_1_1_3_2_1 n12_a_takmi__1_1_1_3_3->n12_a_takmi__1_1_1_3_3_1 n12_a_takmi__1_1_1_4_1 ADV n12_a_takmi__1_1_1_4->n12_a_takmi__1_1_1_4_1 n12_a_takmi__1_1_1_4_1->n12_a_takmi__1_1_1_4_1_1 n12_a_takmi__1_1_2->n12_a_takmi__1_1_2_1 n12_a_takmi__1_1_3_1 CONJ n12_a_takmi__1_1_3->n12_a_takmi__1_1_3_1 n12_a_takmi__1_1_3_2 ILYR n12_a_takmi__1_1_3->n12_a_takmi__1_1_3_2 n12_a_takmi__1_1_3_1->n12_a_takmi__1_1_3_1_1 n12_a_takmi__1_1_3_2_1 NP-SBJ n12_a_takmi__1_1_3_2->n12_a_takmi__1_1_3_2_1 n12_a_takmi__1_1_3_2_2 HVD;_Tn_ n12_a_takmi__1_1_3_2->n12_a_takmi__1_1_3_2_2 n12_a_takmi__1_1_3_2_3 NP-OB1 n12_a_takmi__1_1_3_2->n12_a_takmi__1_1_3_2_3 n12_a_takmi__1_1_3_2_1_1 PRO n12_a_takmi__1_1_3_2_1->n12_a_takmi__1_1_3_2_1_1 n12_a_takmi__1_1_3_2_1_1->n12_a_takmi__1_1_3_2_1_1_1 n12_a_takmi__1_1_3_2_2->n12_a_takmi__1_1_3_2_2_1 n12_a_takmi__1_1_3_2_3_1 D n12_a_takmi__1_1_3_2_3->n12_a_takmi__1_1_3_2_3_1 n12_a_takmi__1_1_3_2_3_2 ADJP n12_a_takmi__1_1_3_2_3->n12_a_takmi__1_1_3_2_3_2 n12_a_takmi__1_1_3_2_3_3 N n12_a_takmi__1_1_3_2_3->n12_a_takmi__1_1_3_2_3_3 n12_a_takmi__1_1_3_2_3_1->n12_a_takmi__1_1_3_2_3_1_1 n12_a_takmi__1_1_3_2_3_2_1 ADJ n12_a_takmi__1_1_3_2_3_2->n12_a_takmi__1_1_3_2_3_2_1 n12_a_takmi__1_1_3_2_3_2_1->n12_a_takmi__1_1_3_2_3_2_1_1 n12_a_takmi__1_1_3_2_3_3->n12_a_takmi__1_1_3_2_3_3_1 n12_a_takmi__1_2->n12_a_takmi__1_2_1 
( (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))