Two dogs play in tall grass.
Two dogs play outdoors.
The dogs are in the tall grass, so the dogs would be outside if they are in the grass.
exists e1 s1 x1 x2.(in(e1,x2) & n_grass(x2) & a_tall(s1) & Theme(s1,x2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & card_eq_2(x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_outdoors(x2) & n_dog(x1) & card_eq_2(x1))