Two small dogs run through the grass.
two small dogs are outside
If dogs are running through the grass, it is implied that they are outside.
exists e1 s1 x1 x2.(n_grass(x2) & through(e1,x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_small(s1) & Theme(s1,x1) & card_eq_2(x1))
exists s1 s2 x1.(Theme(s2,x1) & a_outside(s2) & n_dog(x1) & a_small(s1) & Theme(s1,x1) & card_eq_2(x1))