Original: He played for the Czechoslovakia national team 18 times and was a participant at the 1990 FIFA World Cup.
Simplified: He has played for Czechoslovakia national team.