Two dogs run through the snow.
The dogs are chasing each other.
The dogs running through the snow does not imply that they are chasing each other.
exists e1 x1 x2.(n_snow(x2) & through(e1,x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & card_eq_2(x1))
exists x1.(n_dog(x1) & all x2.(n_other(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_chase(e1))))