Two children are laughing in the grass.
Two kids are playing in the grass.
Two children laughing in the grass are not necessarily playing in the grass.
exists e1 x1 x2.(n_grass(x2) & in(e1,x2) & Actor(e1,x1) & v_laugh(e1) & n_child(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_grass(x2) & in(e1,x2) & Actor(e1,x1) & v_play(e1) & n_kid(x1) & card_eq_2(x1))