The water is very clear.
Every morning the water is clear on the lake
Just because the water is clear does not mean that it is from the lake.
exists s1 x1.(n_water(x1) & r_very(s1) & Theme(s1,x1) & a_clear(s1))
exists x2 x3.(n_lake(x3) & n_water(x2) & all x1.(n_morning(x1) -> exists s1.(Time(s1,x1) & on(s1,x3) & Theme(s1,x2) & a_clear(s1))))