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_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] 
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_4 The n13_a_takmi_6 vanilla n13_a_takmi_8 ice n13_a_takmi_10 cream n13_a_takmi_12 tasted n13_a_takmi_15 bitter n13_a_takmi_17 . n13_a_takmi_1 IP-MAT n13_a_takmi_2 NP-SBJ n13_a_takmi_1->n13_a_takmi_2 n13_a_takmi_11 VBD;_La_ n13_a_takmi_1->n13_a_takmi_11 n13_a_takmi_13 ADJP-PRD n13_a_takmi_1->n13_a_takmi_13 n13_a_takmi_16 PUNC n13_a_takmi_1->n13_a_takmi_16 n13_a_takmi_3 D n13_a_takmi_2->n13_a_takmi_3 n13_a_takmi_5 N n13_a_takmi_2->n13_a_takmi_5 n13_a_takmi_7 N n13_a_takmi_2->n13_a_takmi_7 n13_a_takmi_9 N n13_a_takmi_2->n13_a_takmi_9 n13_a_takmi_3->n13_a_takmi_4 n13_a_takmi_5->n13_a_takmi_6 n13_a_takmi_7->n13_a_takmi_8 n13_a_takmi_9->n13_a_takmi_10 n13_a_takmi_11->n13_a_takmi_12 n13_a_takmi_14 ADJ n13_a_takmi_13->n13_a_takmi_14 n13_a_takmi_14->n13_a_takmi_15 n13_a_takmi_16->n13_a_takmi_17 
( (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))