A young boy is playing basketball in an official game.
There is no basketball court.
It cannot be that there is no basketball court and the boy is playing basketball in an official game.
exists e1 s1 s2 x1 x2 x3.(in(e1,x3) & n_game(x3) & a_official(s2) & Theme(s2,x3) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_basketball(x2) & n_boy(x1) & a_young(s1) & Theme(s1,x1))
exists p1 x1.-exists x2 x3.((x1 = x2) & n_court(x2) & of(x2,x3) & n_basketball(x3))