Two brown dogs are playing with each other on the grass, with one dog laying on its side.
Two dogs are playing outside.
Two dogs are outside on grass.
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 e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_outside(x2) & n_dog(x1) & card_eq_2(x1))