Suppose John Smith is a professional basketball player who plays for the Los Angeles Lakers. He was drafted in the first round of the NBA draft in 2010 and has won three NBA championships with the team.
Can we infer that "John Smith is a retired player"? Yes, no, or maybe?