A large brown dog and a small brown dog are standing near each other beside a body of water.
Two dogs are next to each other.
Near to each other is the same as being next to each other.
exists e1 s1 s2 s3 s4 x1 x2 x3.(all x4.(n_other(x4) -> exists x5 x6.(beside(e1,x5) & of(x5,x6) & n_water(x6) & n_body(x5) & near(e1,x4))) & Actor(e1,x1) & v_stand(e1) & subset_of(x3,x1) & n_dog(x3) & a_brown(s4) & Theme(s4,x3) & a_small(s3) & Theme(s3,x3) & subset_of(x2,x1) & n_dog(x2) & a_brown(s2) & Theme(s2,x2) & a_large(s1) & Theme(s1,x2))
exists s1 x1.(all x2.(n_other(x2) -> to(s1,x2)) & Theme(s1,x1) & a_next(s1) & n_dog(x1) & card_eq_2(x1))