Original: He earned 13 caps (3 non-official) for the Brazil national football team, and was part of the team at the 1966 FIFA World Cup.
Simplified: He has played for Brazil national team.