Original: He played for the Brazil national football team at the 1954 FIFA World Cup finals.
Simplified: He has played for Brazil national team.