what basketball coach has 9 career wins recorded?
(AND basketball.basketball_coach (JOIN basketball.basketball_coach.season_wins 9^^http://www.w3.org/2001/XMLSchema#integer))