The man drives the lane for a shot in the outdoor basketball game.
The man is indoors doing woodwork
The man cannot be in two places at the same time.One cannot be indoors doing woodwork and in an outdoor basketball game.
exists e1 s1 x1 x2 x3 x4 x5.(n_game(x4) & of(x4,x5) & n_basketball(x5) & a_outdoor(s1) & Theme(s1,x4) & n_lane(x2) & n_man(x1) & in(e1,x4) & for(e1,x3) & n_shot(x3) & Theme(e1,x2) & Actor(e1,x1) & v_drive(e1))
exists e1 s1 x1 x2.(n_man(x1) & for(s1,e1) & Theme(e1,x2) & Actor(e1,x1) & v_do(e1) & n_woodwork(x2) & Theme(s1,x1) & a_indoors(s1))