Person dressed in heavy winter clothes with cap on walking in some deep snow
It is wintertime
Dressed in heavy winter clothes does not necessarily imply it is wintertime.
exists e1 s1 s2 x1 x2 x3 x4 x5 x6.(ne_per_person(x1) & in(e1,x2) & with(x2,x4) & in(x4,x6) & n_snow(x6) & a_deep(s2) & Theme(s2,x6) & on(x4,x5) & n_walking(x5) & n_cap(x4) & n_clothes(x2) & of(x2,x3) & n_winter(x3) & a_heavy(s1) & Theme(s1,x2) & Actor(e1,x1) & v_dress(e1))
exists s1 x1.(n_thing(x1) & Theme(s1,x1) & a_wintertime(s1))