A brown dog and a red dog frolicking on the waters edge on the beach.
Dogs are frolicking outside.
More than one dog is dogs. If they are on the waters edge on the beach, they are outside.
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 x1.(exists s1.(Theme(s1,x1) & a_outside(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_frolic(e1) & n_dog(x1))