A guy wearing a red shirt and yellow hat is tasting some ice cream.
A man is licking an ice cream cone.
tasting some ice cream does not necessarily imply licking an ice cream cone.
exists e2 e1 s1 s2 x1 x2 x3 x4 x5 x6 x7.(Theme(e2,x6) & Actor(e2,x1) & v_taste(e2) & n_cream(x6) & of(x6,x7) & n_ice(x7) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_hat(x5) & a_yellow(s2) & Theme(s2,x5) & n_shirt(x4) & a_red(s1) & Theme(s1,x4) & subset_of(x5,x3) & subset_of(x4,x3) & (x1 = x2) & n_guy(x1))
exists e1 x1 x2 x3 x4.(Theme(e1,x2) & Actor(e1,x1) & v_lick(e1) & n_cone(x2) & of(x2,x4) & n_cream(x4) & of(x2,x3) & n_ice(x3) & n_man(x1))