question: What is the average lap time for retired time of +23.707 and a Grid greater than 21?
answer: SELECT AVG(laps) FROM table_name_23 WHERE time_retired = "+23.707" AND grid > 21
context: CREATE TABLE table_name_23 (laps INTEGER, time_retired VARCHAR, grid VARCHAR)