Conversation so far:
Who did Ozzie Smith play for in 1985?
The Cardinals
What was Ozzie Smith's position?
Shortstop
Did Ozzie Smith win any awards during his career?
Yes
How many games did the Cardinals win?
What was Ozzie Smith's batting average?
0.262
Did Ozzie Smith have any home runs?
28

Question: Did he play in the World Series?
Self-contained rewrite: Did Ozzie Smith play in the World Series?