Conversation so far:
Who did Ozzie Smith play for in 1985?
The Cardinals.
What was his position?
CANNOTANSWER.
Did he win any  awards during this time?
CANNOTANSWER.
How many games did they win?
team won 101 games.
What was his batting average?
a .276 batting average.
Did he have any home runs?
who had never hit a home run in his previous 3,009 left-handed major league at-bats.

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