Two yellow dogs run together in green grass.
Two dogs run through grass.
If two dogs run together, they can be presumed to run through an area.
exists e1 s1 s2 s3 x1 x2.(a_together(s3) & Manner(e1,s3) & in(e1,x2) & n_grass(x2) & a_green(s2) & Theme(s2,x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_yellow(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 x1 x2.(through(e1,x2) & n_grass(x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & card_eq_2(x1))