user: Question: If the manufacturer is Proton KR and the grid was over 10, what was the time retired?
Columns: ['Rider', 'Manufacturer', 'Laps', 'Time/Retired', 'Grid']
Types: ['text', 'text', 'real', 'text', 'real']
Sample row: ['Valentino Rossi', 'Honda', 27.0, '46:50.345', 5.0]
SQL:

assistant: SELECT "Time/Retired" FROM "Table" WHERE "Grid" > 10.0 AND "Manufacturer" = 'Proton KR';