In a marsh type area, four small boys are digging in the mud.
There are no boys
There are either four boys or no boys.
exists e1 s1 s2 x1 x2 x3 x4.(n_mud(x2) & in(e1,x3) & n_area(x3) & of(x3,x4) & n_type(x4) & a_marsh(s2) & Theme(s2,x3) & in(e1,x2) & Actor(e1,x1) & v_dig(e1) & n_boy(x1) & a_small(s1) & Theme(s1,x1) & card_eq_4(x1))
exists p1 x1.-exists x2.((x1 = x2) & n_boy(x2))