A man playing cricket, his bat pointed to the sky.
The man is not playing cricket
You cannot both play and not play cricket at the same time, in the same picture.
exists e1 e2 x1 x2 x3 x4 x5.(n_sky(x3) & rel(e1,x1) & Theme(e2,x5) & Actor(e2,x4) & v_play(e2) & n_cricket(x5) & (x1 = x4) & n_man(x1) & to(e1,x3) & Actor(e1,x2) & v_point(e1) & n_bat(x2) & of(x2,x1) & n_male(x1))
exists x1.(n_man(x1) & -exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_cricket(x2)))