Two white dogs swim face to face in shady water.
There are two dogs sinking in the water.
Two dogs cannot be sinking if they are swimming.
exists e1 p1 s1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_swim(e1) & Topic(x2,p1) & exists e2 s2 x3 x4.(in(e2,x4) & n_water(x4) & a_shady(s2) & Theme(s2,x4) & Theme(e2,x3) & Actor(e2,x2) & v_face(e2) & n_thing(x3)) & n_face(x2) & n_dog(x1) & a_white(s1) & Theme(s1,x1) & card_eq_2(x1))
exists p1 x1 x4.(n_water(x4) & exists e1 x2 x3.((x1 = x2) & in(e1,x4) & Actor(e1,x3) & v_sink(e1) & (x2 = x3) & n_dog(x2) & card_eq_2(x2)))