What is a strike in baseball? Robots, rule book and umpires view it differently