user: Question: What is the average number of laps when the grid number is 9?
Columns: ['Rider', 'Manufacturer', 'Laps', 'Time/Retired', 'Grid']
Types: ['text', 'text', 'real', 'text', 'real']
Sample row: ['Casey Stoner', 'Ducati', 22.0, '42:36.587', 4.0]
SQL:

assistant: SELECT AVG("Laps") FROM "Table" WHERE "Grid" = 9.0;