Context                Previous, Next                Top


13_a_takmi
The vanilla ice cream tasted bitter.

%3 r_0013_0005__tasted tasted r_0013_0001__The_r_0013_0002__vanilla_r_0013_0003__ice_r_0013_0004__cream The vanilla ice cream r_0013_0005__tasted->r_0013_0001__The_r_0013_0002__vanilla_r_0013_0003__ice_r_0013_0004__cream [arg0] r_0013_0006__bitter bitter r_0013_0005__tasted->r_0013_0006__bitter [prd] 
arc(r_0013_0005__tasted, r_0013_0001__The_r_0013_0002__vanilla_r_0013_0003__ice_r_0013_0004__cream, arg0).
arc(r_0013_0005__tasted, r_0013_0006__bitter, prd).


%3 r_0013_0005__tasted tasted r_0013_0006__bitter bitter r_0013_0005__tasted->r_0013_0006__bitter [prd] r_0013_0001__The_r_0013_0002__vanilla_r_0013_0003__ice_r_0013_0004__cream The vanilla ice cream r_0013_0005__tasted->r_0013_0001__The_r_0013_0002__vanilla_r_0013_0003__ice_r_0013_0004__cream [arg0] 
fof(formula,axiom,
    ? [R_13_5_TASTED,R_13_1_THE_VANILLA_ICE_CREAM,R_13_6_BITTER] :
      ( the_vanilla_ice_cream(R_13_1_THE_VANILLA_ICE_CREAM)
      & bitter(R_13_6_BITTER)
      & tasted(R_13_5_TASTED,R_13_1_THE_VANILLA_ICE_CREAM,R_13_6_BITTER) ) ).


n13_a_takmi n13_a_takmi__1_1_1_1 The n13_a_takmi__1_1_2_1 vanilla n13_a_takmi__1_1_3_1 ice n13_a_takmi__1_1_4_1 cream n13_a_takmi__1_2_1 tasted n13_a_takmi__1_3_1_1 bitter n13_a_takmi__1_4_1 . n13_a_takmi__1 IP-MAT n13_a_takmi__1_1 NP-SBJ n13_a_takmi__1->n13_a_takmi__1_1 n13_a_takmi__1_2 VBD;_La_ n13_a_takmi__1->n13_a_takmi__1_2 n13_a_takmi__1_3 ADJP-PRD n13_a_takmi__1->n13_a_takmi__1_3 n13_a_takmi__1_4 PUNC n13_a_takmi__1->n13_a_takmi__1_4 n13_a_takmi__1_1_1 D n13_a_takmi__1_1->n13_a_takmi__1_1_1 n13_a_takmi__1_1_2 N n13_a_takmi__1_1->n13_a_takmi__1_1_2 n13_a_takmi__1_1_3 N n13_a_takmi__1_1->n13_a_takmi__1_1_3 n13_a_takmi__1_1_4 N n13_a_takmi__1_1->n13_a_takmi__1_1_4 n13_a_takmi__1_1_1->n13_a_takmi__1_1_1_1 n13_a_takmi__1_1_2->n13_a_takmi__1_1_2_1 n13_a_takmi__1_1_3->n13_a_takmi__1_1_3_1 n13_a_takmi__1_1_4->n13_a_takmi__1_1_4_1 n13_a_takmi__1_2->n13_a_takmi__1_2_1 n13_a_takmi__1_3_1 ADJ n13_a_takmi__1_3->n13_a_takmi__1_3_1 n13_a_takmi__1_3_1->n13_a_takmi__1_3_1_1 n13_a_takmi__1_4->n13_a_takmi__1_4_1 
( (IP-MAT (NP-SBJ;{FOOD} (D The;{the})
                         (N vanilla;{vanilla})
                         (N ice;{ice})
                         (N cream;{cream}))
          (VBD;_La_ tasted;{taste})
          (ADJP-PRD (ADJ bitter;{bitter}))
          (PUNC .))
  (ID 13_a_takmi))