What is the average Laps that have gregorio lavilla as the rider, with a grid greater than 13?
CREATE TABLE table_name_95 (laps INTEGER, rider VARCHAR, grid VARCHAR)
SELECT AVG(laps) FROM table_name_95 WHERE rider = "gregorio lavilla" AND grid > 13
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_95 (laps INTEGER, rider VARCHAR, grid VARCHAR) Question: What is the average Laps that have gregorio lavilla as the rider, with a grid greater than 13? [/INST] SELECT AVG(laps) FROM table_name_95 WHERE rider = "gregorio lavilla" AND grid > 13 </s>