Two brown dogs chase each other in the snow.
Two brown dogs chase each other in the snow while barking.
not all dogs bark while chasing another dog
exists s1 x1 x3.(n_snow(x3) & all x2.(n_other(x2) -> exists e1.(in(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_chase(e1))) & n_dog(x1) & a_brown(s1) & Theme(s1,x1) & card_eq_2(x1))
exists s1 x1 x3.(n_snow(x3) & all x2.(n_other(x2) -> exists e2 e1.(while(e1,e2) & Actor(e2,x1) & v_bark(e2) & in(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_chase(e1))) & n_dog(x1) & a_brown(s1) & Theme(s1,x1) & card_eq_2(x1))