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 .