Input (grade 4): Michael Spinks (born July 13, 1956 in St. Louis, Missouri) is a retired American boxer.
Output (grade 5): Michael Spinks (born on July 13, 1956) is an American boxer.