A gray dog is shaking water from its body.
An animal is jumping in the pool.
The animal cannot be shaking off water and jumping in the pool simultaneously
exists e1 s1 x1 x2 x3.(from(e1,x3) & n_body(x3) & of(x3,x1) & n_thing(x1) & Theme(e1,x2) & Actor(e1,x1) & v_shake(e1) & n_water(x2) & n_dog(x1) & a_gray(s1) & Theme(s1,x1))
exists e1 x1 x2.(n_pool(x2) & in(e1,x2) & Actor(e1,x1) & v_jump(e1) & n_animal(x1))