A basketball player hanging in the hoop is attempting to high-five the referee.
The basketball player is sitting on the bench.
One cannot be hanging in the hoop and sitting on the bench at the same time.
exists e1 p1 x1 x2 x3 x4 x5.(n_referee(x5) & n_hoop(x4) & Topic(e1,p1) & Actor(e1,x1) & v_attempt(e1) & exists e2.(Theme(e2,x5) & Actor(e2,x1) & v_high-five(e2)) & in(x1,x4) & n_hanging(x1) & of(x1,x3) & n_player(x3) & of(x1,x2) & n_basketball(x2))
exists e1 x1 x2 x3.(n_bench(x3) & n_player(x1) & of(x1,x2) & n_basketball(x2) & on(e1,x3) & Actor(e1,x1) & v_sit(e1))