Men shovel snow while wearing shorts.
The men are used to the cold weather.
The men don't have to be used to the cold weather just because they are wearing shorts.
(-x)
exists e1 s1 x1 x2.(n_weather(x2) & a_cold(s1) & Theme(s1,x2) & n_man(x1) & to(e1,x2) & Theme(e1,x1) & v_use(e1))