A baseball player swings his bat at an oncoming pitch.
The player is practicing.
We have no idea if the player is practicing or not, he could be playing an actual game.
(x)
exists e1 x1.(n_player(x1) & Actor(e1,x1) & v_practice(e1))