Instruct: What is the average number of silver medals won among nations that won 9 medals total?
Output: SELECT AVG Silver FROM table WHERE Total = 9