A dog shakes off after getting out of the water.
The animal is asleep at home.
The animal cannot simultaneously be asleep and shake off water
exists e1 e2 s1 x1 x2.(n_water(x2) & after(e1,e2) & r_out(e2) & of(e2,x2) & Actor(e2,x1) & v_get(e2) & a_off(s1) & Manner(e1,s1) & Actor(e1,x1) & v_shake(e1) & n_dog(x1))
exists s1 x1 x2.(n_animal(x1) & at(s1,x2) & n_home(x2) & Theme(s1,x1) & a_asleep(s1))