A man is running in snowshoes across a snow covered field, with mountains in the background.
The man is freezing cold.
Cannot infer the man is freezing cold just because he's in snowshoes.
exists e1 s1 x1 x2 x3 x4 x5 x6.(n_background(x6) & with(e1,x5) & in(x5,x6) & n_mountain(x5) & across(e1,x3) & n_field(x3) & a_covered(s1) & Theme(s1,x3) & of(x3,x4) & n_snow(x4) & in(e1,x2) & n_snowsho(x2) & Actor(e1,x1) & v_run(e1) & n_man(x1))
exists e1 p1 x1.(n_man(x1) & exists s1.(Theme(s1,x1) & a_cold(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_freeze(e1))