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