Original: He played 19 games for the Brazilian national team, including being part of the World Cup squad in 1950 and in 1954.
Simplified: He has played for Brazil national team.