Input (grade 4): Michael Gerard "Mike" Tyson (born June 30, 1966) is an American boxer.
Output (grade 8): Mike Tyson became a professional boxer in 1985 and won a heavyweight title from Trevor Berbick in 1986.