A man is standing in the pool behind the dog that is swimming.
The man is washing the dog by the garage with a hose.
The man can't be standing behind the dog and washing it at the same time. He can't be in the pool and at the garage at the same time.
exists e1 p1 x1 x2 x3 x4.(n_dog(x3) & n_pool(x2) & behind(e1,x3) & exists x5.((x4 = x5) & n_swimming(x5)) & (x3 = x4) & in(e1,x2) & Actor(e1,x1) & v_stand(e1) & n_man(x1))
exists e1 x1 x2 x3 x4.(n_garage(x3) & n_dog(x2) & n_man(x1) & by(e1,x3) & with(x3,x4) & n_hose(x4) & Theme(e1,x2) & Actor(e1,x1) & v_wash(e1))