Instruct: What is the average Laps that have gregorio lavilla as the rider, with a grid greater than 13?
Output: SELECT AVG Laps FROM table WHERE Rider = gregorio lavilla AND Grid > 13