A brown dog and a red dog frolicking on the waters edge on the beach.
A brown and red dog are frolicking on the beach while their owners swim in the ocean.
The dogs could be frolicking while their owners do not swim in the ocean, but instead are nearby on the shore watching them.
exists s1 s2 s3 x1 x2 x3 x4 x5 x6.(n_beach(x6) & n_edge(x4) & of(x4,x5) & n_waters(x5) & a_topic(s1) & subset_of(x2,s1) & on(x2,x4) & on(x4,x6) & n_frolicking(x2) & of(x2,x3) & n_dog(x3) & a_red(s3) & Theme(s3,x2) & subset_of(x1,s1) & n_dog(x1) & a_brown(s2) & Theme(s2,x1))
exists e1 p1 s1 s2 x1 x2 x3 x4.(n_ocean(x4) & n_owner(x3) & of(x3,x2) & n_thing(x2) & n_beach(x2) & exists e2.(in(e2,x4) & Actor(e2,x3) & v_swim(e2)) & while(e1,p1) & on(e1,x2) & Actor(e1,x1) & v_frolic(e1) & n_dog(x1) & a_red(s2) & Theme(s2,x1) & a_brown(s1) & Theme(s1,x1))