user: Question: What is the average number of silver medals won among nations that won 9 medals total?
Columns: ['Rank', 'Nation', 'Gold', 'Silver', 'Bronze', 'Total']
Types: ['text', 'text', 'real', 'real', 'real', 'real']
Sample row: ['1', 'Hungary', 7.0, 1.0, 4.0, 12.0]
SQL:

assistant: SELECT AVG("Silver") FROM "Table" WHERE "Total" = 9.0;