Two children run towards the lagoon.
The children are lying in the grass.
The children cannot run toward the lagoon if they are lying in the grass.
exists e1 x1 x2.(n_lagoon(x2) & towards(e1,x2) & Actor(e1,x1) & v_run(e1) & n_child(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_grass(x2) & n_child(x1) & in(e1,x2) & Actor(e1,x1) & v_lie(e1))