a man and a wolf in the arctic snow.
A man and wolf stare each other down in arctic snow.
Just because a man and a wolf are in the arctic snow does not mean they will stare each other down.
exists s1 s2 x1 x2 x3.(n_snow(x3) & a_arctic(s2) & Theme(s2,x3) & a_topic(s1) & subset_of(x2,s1) & in(x2,x3) & n_wolf(x2) & subset_of(x1,s1) & n_man(x1))
exists s1 x1 x2 x3.(all x4.(n_other(x4) -> exists e1 s2 x5.(in(e1,x5) & n_snow(x5) & a_arctic(s2) & Theme(s2,x5) & Theme(e1,x4) & Pivot(e1,x1) & r_more(e1) & v_down(e1))) & n_stare(x3) & a_wolf(s1) & Theme(s1,x3) & n_man(x2) & subset_of(x3,x1) & subset_of(x2,x1))