Context                Previous, Next                Top


13_a_takmi
The vanilla ice cream tasted 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))


%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] 
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_0013_0001__THE_R_0013_0002__VANILLA_R_0013_0003__ICE_R_0013_0004__CREAM,R_0013_0006__BITTER,R_0013_0005__TASTED] :
      ( r_0013_0001__The_r_0013_0002__vanilla_r_0013_0003__ice_r_0013_0004__cream(R_0013_0001__THE_R_0013_0002__VANILLA_R_0013_0003__ICE_R_0013_0004__CREAM)
      & r_0013_0006__bitter(R_0013_0006__BITTER)
      & r_0013_0005__tasted(R_0013_0005__TASTED)
      & has_prd(R_0013_0005__TASTED,R_0013_0006__BITTER)
      & has_arg0(R_0013_0005__TASTED,R_0013_0001__THE_R_0013_0002__VANILLA_R_0013_0003__ICE_R_0013_0004__CREAM) ) ).