The man in the blue shirt is surrounded by three dogs in the grass.
Dogs are on the ground.
three dogs in the grass implies that they are on the ground.
exists e1 s1 x1 x2 x3 x4.(n_grass(x4) & n_shirt(x2) & a_blue(s1) & Theme(s1,x2) & n_man(x1) & in(e1,x4) & Actor(e1,x3) & n_dog(x3) & card_eq_3(x3) & Theme(e1,x1) & v_surround(e1) & in(x1,x2))
exists p1 x1 x2.(n_ground(x2) & on(x1,x2) & n_dog(x1))