Four children in the pool.
Some childrens are playing cricket in ground
The children cannot be playing cricket in ground at the same time they are in the pool.
exists x1 x2.(n_pool(x2) & a_topic(x1) & in(x1,x2) & n_child(x1) & card_eq_4(x1))
exists e1 x1 x2 x3.(in(e1,x3) & n_ground(x3) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_cricket(x2) & n_children(x1))