Input (grade 4): Randall Craig "Tex" Cobb (born May 7, 1950) According to the State of Texas.
Output (grade 5): Randall "Tex" Cobb (born 1950) was an American boxer from Texas.