What is the average number of employees of the departments whose rank is between 10 and 15?
SELECT avg(num_employees) FROM department WHERE ranking BETWEEN 10 AND 15
SELECT avg(num_employees) FROM department WHERE ranking BETWEEN 10 AND 15
[{'avg(num_employees)': 105468.16666666667}]