Two brown dogs are playing with each other on the grass, with one dog laying on its side.
The dogs are in the kitchen.
If dogs are on the grass, then they are not in the kitchen.
exists e1 s1 x1 x3 x5.(n_side(x5) & of(x5,x3) & n_thing(x3) & n_grass(x3) & all x2.(n_other(x2) -> exists e2 x4.(on(e2,x5) & Actor(e2,x4) & v_lay(e2) & with(e1,x4) & n_dog(x4) & card_eq_1(x4) & on(e1,x3) & with(e1,x2))) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & a_brown(s1) & Theme(s1,x1) & card_eq_2(x1))
exists p1 x1 x2.(n_kitchen(x2) & n_dog(x1) & in(x1,x2))