Three dogs are playing in the grass.
Some dogs are rolling around on the ground.
Not all dogs playing in the grass are rolling around on the ground.
exists e1 x1 x2.(n_grass(x2) & in(e1,x2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & card_eq_3(x1))
exists e1 p1 x1 x2.(n_ground(x2) & on(e1,x2) & exists s1.(Theme(s1,x1) & a_around(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_roll(e1) & n_dog(x1))