The men are working in the hot sun.
The men are in the hot sun.
If the men are working in the hot sun, then they are definitely in the hot sun; all information can be inferred.
exists e1 s1 x1 x2.(n_sun(x2) & a_hot(s1) & Theme(s1,x2) & n_man(x1) & in(e1,x2) & Actor(e1,x1) & v_work(e1))
exists p1 s1 x1 x2.(n_sun(x2) & a_hot(s1) & Theme(s1,x2) & n_man(x1) & in(x1,x2))