Original: For the Brazil national football team he played in nine matches, June 1984 to April 1986, and was on the roster for the 1986 FIFA World Cup as a reserve.
Simplified: He has played for Brazil national team.