a dog runs across the snow.
The dog is refusing to go outside because it's cold.
Refusing to go outside can't take place if he's already outside in the snow.
exists e1 x1 x2.(n_snow(x2) & across(e1,x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1))
exists e1 p1 x1.(n_thing(x1) & n_dog(x1) & Topic(e1,p1) & Actor(e1,x1) & v_refuse(e1) & exists e2 p2 s1.(exists s2.(Theme(s2,x1) & a_cold(s2)) & because(e2,p2) & a_outside(s1) & Manner(e2,s1) & Actor(e2,x1) & v_go(e2)))