A black dog walks through the water.
The dog is getting in its bed.
The dog is either walking through the water, or getting in its bed.
exists e1 s1 x1 x2.(n_water(x2) & through(e1,x2) & Actor(e1,x1) & v_walk(e1) & n_dog(x1) & a_black(s1) & Theme(s1,x1))
exists e1 x1 x2.(n_bed(x2) & of(x2,x1) & n_thing(x1) & n_dog(x1) & in(e1,x2) & Actor(e1,x1) & v_get(e1))