Input (grade 10): Joel Antônio Martins (November 23, 1931 in Rio de Janeiro - January 1, 2003 in Rio de Janeiro) was a Brazilian football winger.
Output (grade 8): Joel Antônio Martins (born 23 November, 1931) is a former Brazilian football player.