The gummy bears on the cake are green, orange, yellow, and red in color. 
The gummy bears are on top of the frosting
That there are gummy bears on the cake does not necessarily imply that they are on top of the frosting.
exists e1 s1 x1 x2 x3 x4 x5 x6 x7 x8.(n_cake(x3) & n_gummy(x1) & on(e1,x2) & subset_of(x7,x2) & in(x7,x8) & n_color(x8) & n_red(x7) & subset_of(x3,x2) & rel(s1,x5) & rel(x5,x6) & n_yellow(x6) & n_orange(x5) & Theme(s1,x4) & a_green(s1) & (x3 = x4) & Actor(e1,x1) & v_bear(e1))
exists p1 s1 x1 x3.(n_frosting(x3) & n_bear(x1) & a_gummy(s1) & Theme(s1,x1) & exists x2.(on(x1,x2) & of(x2,x3) & n_top(x2)))