A black dog is shaking off water.
A brown dog is dry next to a lake.
The dog would not be dry if it was shaking off water.
exists e1 s1 s2 x1 x2.(a_off(s2) & Manner(e1,s2) & Theme(e1,x2) & Actor(e1,x1) & v_shake(e1) & n_water(x2) & n_dog(x1) & a_black(s1) & Theme(s1,x1))
exists s1 s2 x1 x2.(to(s2,x2) & n_lake(x2) & r_next(s2) & Theme(s2,x1) & a_dry(s2) & n_dog(x1) & a_brown(s1) & Theme(s1,x1))