The ground is covered in snow.
Colorful fall leaves scattered on the ground.
You cannot see scattered colorful fall leaves if the ground is covered in snow.
exists e1 x1 x2.(n_ground(x1) & in(e1,x2) & n_snow(x2) & Theme(e1,x1) & v_cover(e1))
exists e2 e1 s1 x1 x2.(n_ground(x2) & for(e1,e2) & on(e2,x2) & Theme(e2,x1) & v_scatter(e2) & Actor(e1,x1) & v_leave(e1) & n_fall(x1) & a_colorful(s1) & Theme(s1,x1))