A young boy, wearing shorts and a red tank top, is sliding down a mountain of snow, riding a board on his belly.
The boy has smile on his face.
The fact that the boy had a smile on his face doesn't mean he had it when he was sliding down the mountain.
exists e3 e2 e1 s1 s2 s3 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10.(for(e2,e3) & on(e3,x10) & n_belly(x10) & of(x10,x2) & n_male(x2) & Theme(e3,x9) & Actor(e3,x1) & v_ride(e3) & n_board(x9) & a_down(s3) & Manner(e2,s3) & Theme(e2,x7) & Actor(e2,x1) & v_slide(e2) & of(x7,x8) & n_snow(x8) & n_mountain(x7) & subset_of(x5,x1) & n_top(x5) & of(x5,x6) & n_tank(x6) & a_red(s2) & Theme(s2,x5) & subset_of(x2,x1) & Theme(e1,x4) & Actor(e1,x3) & v_wear(e1) & n_shorts(x4) & (x2 = x3) & n_boy(x2) & a_young(s1) & Theme(s1,x2))
exists e1 x1 x2.(n_face(x2) & of(x2,x1) & n_male(x1) & n_boy(x1) & on(e1,x2) & Actor(e1,x1) & v_smile(e1))