Three dogs are running around in the snow.
The three dogs are all the same color.
No way to know that the dogs are all the same color.
exists e1 p1 x1 x2.(n_snow(x2) & in(e1,x2) & exists s1.(Theme(s1,x1) & a_around(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & card_eq_3(x1))
exists p1 s1 x1 x3.(n_color(x3) & a_same(s1) & Theme(s1,x3) & n_dog(x1) & card_eq_3(x1) & all x2.((x2 = x3) -> (x1 = x2)))