CREATE TABLE table_name_95 (laps NUMBER, rider VARCHAR2, grid VARCHAR2)

What is the average Laps that have gregorio lavilla as the rider, with a grid greater than 13?
SELECT AVG(laps) FROM table_name_95 WHERE rider = "gregorio lavilla" AND grid > 13
SELECT AVG("laps") FROM "table_name_95" WHERE "gregorio lavilla" = "rider" AND "grid" > 13