A brown dog and a red dog frolicking on the waters edge on the beach.
The brown and red dog are sitting by their owners at an outdoor concert.
The dog can't be sitting and frolicking at the same time.
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 s1 s2 s3 x1 x2 x3.(n_owner(x2) & of(x2,x1) & n_thing(x1) & n_dog(x1) & a_red(s2) & Theme(s2,x1) & a_brown(s1) & Theme(s1,x1) & at(e1,x3) & n_concert(x3) & a_outdoor(s3) & Theme(s3,x3) & by(e1,x2) & Actor(e1,x1) & v_sit(e1))