Question: in which season was the player who tallied 9,014 career point traded to the Dallas Mavericks?
Sentence (from "1989–90 Sacramento Kings season"): At midseason, Kenny Smith was traded to the Atlanta Hawks for Antoine Carr as the Kings finished last place in the Pacific Division with a 23–59 record.
Relevant evidence: No