Task: Question Answering
Input (English): passage: Mize retired in 1953 with 359 career home runs and a .312 batting average. He served as a radio commentator, scout and coach in the major leagues after he retired as a player. He was selected for induction to the Baseball Hall of Fame by the Veterans Committee in 1981. In 2014, he was inducted into the St. Louis Cardinals Hall of Fame Museum.
 question: is johnny mize in the hall of fame?
Output (English): Yes