Two beige dogs play in the grass.
The dogs are resting on the porch.
Dogs that are at play in the grass cannot be resting on the porch.
exists e1 s1 x1 x2.(n_grass(x2) & in(e1,x2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & a_beige(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 x1 x2.(n_porch(x2) & n_dog(x1) & on(e1,x2) & Actor(e1,x1) & v_rest(e1))