Two white dogs drink from the lake.
The lake water is clean.
Just because dogs drink from the lake it does not mean the water is clean.
exists e1 s1 x1 x2.(n_lake(x2) & from(e1,x2) & Actor(e1,x1) & v_drink(e1) & n_dog(x1) & a_white(s1) & Theme(s1,x1) & card_eq_2(x1))
exists s1 x1 x2.(n_water(x1) & of(x1,x2) & n_lake(x2) & Theme(s1,x1) & a_clean(s1))