Some children are playing on a trampoline, a boy in a red shirt is covering his face as he cries.
Not all the children are having fun.
If he cries it implies that they are not having fun.
exists e1 e2 p1 s1 x1 x2 x3 x4 x5.(exists e3.(Actor(e3,x1) & v_cry(e3)) & n_male(x1) & n_male(x1) & as(e2,p1) & Theme(e2,x5) & Actor(e2,x3) & v_cover(e2) & n_face(x5) & of(x5,x1) & in(x3,x4) & n_shirt(x4) & a_red(s1) & Theme(s1,x4) & n_boy(x3) & on(e1,x2) & n_trampoline(x2) & Actor(e1,x1) & v_play(e1) & n_child(x1))
exists x2.(n_child(x2) & -all x1.((x1 = x2) -> exists e1 x3.(Theme(e1,x3) & Actor(e1,x1) & v_have(e1) & n_fun(x3))))