A dog with its mouth open is walking on a path on a garden which is next to a lake or a stream.
A dog pants as it tries to get to the water to relieve its thirst.
Walking towards the stream does not ,mean that it is going to relieve its thirst.
exists e1 s1 x1 x2 x3 x4 x5 x6.(on(e1,x5) & (exists x7.(to(s1,x7) & n_lake(x7)) | exists x8.(to(s1,x8) & n_stream(x8))) & Theme(s1,x6) & a_next(s1) & (x5 = x6) & n_garden(x5) & on(e1,x4) & n_path(x4) & Actor(e1,x1) & v_walk(e1) & with(x1,x2) & n_open(x2) & of(x2,x3) & n_mouth(x3) & of(x2,x1) & n_thing(x1) & n_dog(x1))
exists p1 x1 x2 x3 x4.(n_thirst(x4) & of(x4,x3) & n_thing(x3) & n_water(x3) & a_topic(x1) & exists e1 p2.(Topic(e1,p2) & Actor(e1,x1) & v_try(e1) & exists e2 p3.(Topic(e2,p3) & exists e3.(Theme(e3,x4) & Actor(e3,x1) & v_relieve(e3)) & to(e2,x3) & Actor(e2,x1) & v_get(e2))) & n_thing(x1) & as(x1,p1) & n_pants(x1) & of(x1,x2) & n_dog(x2))