Input (grade 10): Nicknamed "Big Papi," Ortiz is a five-time All-Star and holds the Red Sox single-season record for home runs with 54, set during the season.
Output (grade 7): He holds the Red Sox single-season record for home runs with 54, which he set during the 2006 season.