Input (grade 13): Ronaldo Rodrigues de Jesus (born June 19, 1965 in São Paulo, Brazil) is a former Brazilian national team defensive football player, better known on the football pitch as Ronaldo and Ronaldão (big Ronaldo).
Output (grade 8): Ronaldo Rodrigues de Jesus (born 19 June 1965) is a former Brazilian football player.