Premise: Santos "Sandy" Alomar Velázquez Jr. (] , ; born June 18, 1966) is a professional baseball catcher, coach, and manager. He played in Major League Baseball catcher for the San Diego Padres, Cleveland Indians, Chicago White Sox, Colorado Rockies, Texas Rangers, Los Angeles Dodgers, and New York Mets between 1988 and 2007.
Hypothesis: He was not a batsman.