The ground is covered in snow.
It is snowing.
Sentence one said that the ground is covered in snow, it does not infer that it is snowing.
exists e1 x1 x2.(n_ground(x1) & in(e1,x2) & n_snow(x2) & Theme(e1,x1) & v_cover(e1))
exists e1 x1.(n_thing(x1) & Actor(e1,x1) & v_snow(e1))