Input (grade 10): On November 26, 1982, he fought champion boxer Larry Holmes for the WBC World Heavyweight title at Houston's Astrodome.
Output (grade 10): He fought champion boxer Larry Holmes for the WBC World Heavyweight title at Houstons Astrodome on November 26, 1982.