A batter swings while the catcher and umpire look on.
the batter misses the swing while the umpire and catcher watch
Swinging does not imply that he misses.
(x)
exists e1 x1 x2 x3 x4 x5 x6.(n_watch(x5) & of(x5,x6) & n_catcher(x6) & n_umpire(x4) & subset_of(x5,x3) & subset_of(x4,x3) & n_swing(x2) & n_batter(x1) & while(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_miss(e1))