Original: Sebastião Miranda da Silva Filho, usually called Mirandinha, (born 26 February 1952) is a former Brazilian footballer who was included in the 1974 FIFA World Cup squad of the Brazil national football team.
Simplified: He has played for Brazil national team.