Finishing a summer time treat, a popsicle.
The popsicle is banana flavored.
popsicle doesn't imply  banana flavored.
exists e1 x1 x2 x3 x4 x5 x6.(Theme(e1,x2) & Actor(e1,x1) & v_finish(e1) & subset_of(x6,x2) & n_popsicle(x6) & subset_of(x3,x2) & n_treat(x3) & of(x3,x5) & n_time(x5) & of(x3,x4) & n_summer(x4) & n_thing(x1))
exists s1 x1.(n_popsicle(x1) & r_banana(s1) & Theme(s1,x1) & a_flavor(s1))