original: a batter against whom three strikes are recorded strikes out .
simplifications: a batter against whom three strikes are recorded strikes out . a batter strikes out when three strikes are recorded against him . a batter against whom 3 strikes are recorded strikes out . when a batter makes three strikes , he strikes out . a batter strikes out if he gets three strikes . a batter strikes out when he gets three strikes . if the batter gets three strikes they are out . a batter that gets three strikes is out .