Original: He played the 1954 FIFA World Cup for Brazil and remained in the national team for another two years .
Simplified: He has played for Brazil national team .