richardr1126/spider-context-instruct huggingface dataset:
### Instruction:

Convert text to sql: Find the id and location of circuits that belong to France or Belgium? | circuits : circuitid , circuitref , name , location , country , lat , lng , alt , url | races : raceid , year , round , circuitid , name , date , time , url | drivers : driverid , driverref , number , code , forename , surname , dob , nationality , url | status : statusid , status | seasons : year , url | constructors : constructorid , constructorref , name , nationality , url | constructorstandings : constructorstandingsid , raceid , constructorid , points , position , positiontext , wins | results : resultid , raceid , driverid , constructorid , number , grid , position , positiontext , positionorder , points , laps , time , milliseconds , fastestlap , rank , fastestlaptime , fastestlapspeed , statusid | driverstandings : driverstandingsid , raceid , driverid , points , position , positiontext , wins | constructorresults : constructorresultsid , raceid , constructorid , points , status | qualifying : qualifyid , raceid , driverid , constructorid , number , position , q1 , q2 , q3 | pitstops : raceid , driverid , stop , lap , time , duration , milliseconds | laptimes : raceid , driverid , lap , position , time , milliseconds | races.circuitid = circuits.circuitid | constructorstandings.raceid = races.raceid | constructorstandings.constructorid = constructors.constructorid | results.driverid = drivers.driverid | results.raceid = races.raceid | results.constructorid = constructors.constructorid | driverstandings.driverid = drivers.driverid | driverstandings.raceid = races.raceid | constructorresults.raceid = races.raceid | constructorresults.constructorid = constructors.constructorid | qualifying.driverid = drivers.driverid | qualifying.raceid = races.raceid | qualifying.constructorid = constructors.constructorid | pitstops.driverid = drivers.driverid | pitstops.raceid = races.raceid | laptimes.driverid = drivers.driverid | laptimes.raceid = races.raceid | 

### Response:

select circuitid , location from circuits where country = 'France' or country = 'Belgium'
### Instruction:

Convert text to sql: What are the ids and locations of all circuits in France or Belgium? | circuits : circuitid , circuitref , name , location , country , lat , lng , alt , url | races : raceid , year , round , circuitid , name , date , time , url | drivers : driverid , driverref , number , code , forename , surname , dob , nationality , url | status : statusid , status | seasons : year , url | constructors : constructorid , constructorref , name , nationality , url | constructorstandings : constructorstandingsid , raceid , constructorid , points , position , positiontext , wins | results : resultid , raceid , driverid , constructorid , number , grid , position , positiontext , positionorder , points , laps , time , milliseconds , fastestlap , rank , fastestlaptime , fastestlapspeed , statusid | driverstandings : driverstandingsid , raceid , driverid , points , position , positiontext , wins | constructorresults : constructorresultsid , raceid , constructorid , points , status | qualifying : qualifyid , raceid , driverid , constructorid , number , position , q1 , q2 , q3 | pitstops : raceid , driverid , stop , lap , time , duration , milliseconds | laptimes : raceid , driverid , lap , position , time , milliseconds | races.circuitid = circuits.circuitid | constructorstandings.raceid = races.raceid | constructorstandings.constructorid = constructors.constructorid | results.driverid = drivers.driverid | results.raceid = races.raceid | results.constructorid = constructors.constructorid | driverstandings.driverid = drivers.driverid | driverstandings.raceid = races.raceid | constructorresults.raceid = races.raceid | constructorresults.constructorid = constructors.constructorid | qualifying.driverid = drivers.driverid | qualifying.raceid = races.raceid | qualifying.constructorid = constructors.constructorid | pitstops.driverid = drivers.driverid | pitstops.raceid = races.raceid | laptimes.driverid = drivers.driverid | laptimes.raceid = races.raceid | 

### Response:

select circuitid , location from circuits where country = 'France' or country = 'Belgium'
### Instruction:

Convert text to sql: Find the names of Japanese constructors that have once earned more than 5 points? | circuits : circuitid , circuitref , name , location , country , lat , lng , alt , url | races : raceid , year , round , circuitid , name , date , time , url | drivers : driverid , driverref , number , code , forename , surname , dob , nationality , url | status : statusid , status | seasons : year , url | constructors : constructorid , constructorref , name , nationality , url | constructorstandings : constructorstandingsid , raceid , constructorid , points , position , positiontext , wins | results : resultid , raceid , driverid , constructorid , number , grid , position , positiontext , positionorder , points , laps , time , milliseconds , fastestlap , rank , fastestlaptime , fastestlapspeed , statusid | driverstandings : driverstandingsid , raceid , driverid , points , position , positiontext , wins | constructorresults : constructorresultsid , raceid , constructorid , points , status | qualifying : qualifyid , raceid , driverid , constructorid , number , position , q1 , q2 , q3 | pitstops : raceid , driverid , stop , lap , time , duration , milliseconds | laptimes : raceid , driverid , lap , position , time , milliseconds | races.circuitid = circuits.circuitid | constructorstandings.raceid = races.raceid | constructorstandings.constructorid = constructors.constructorid | results.driverid = drivers.driverid | results.raceid = races.raceid | results.constructorid = constructors.constructorid | driverstandings.driverid = drivers.driverid | driverstandings.raceid = races.raceid | constructorresults.raceid = races.raceid | constructorresults.constructorid = constructors.constructorid | qualifying.driverid = drivers.driverid | qualifying.raceid = races.raceid | qualifying.constructorid = constructors.constructorid | pitstops.driverid = drivers.driverid | pitstops.raceid = races.raceid | laptimes.driverid = drivers.driverid | laptimes.raceid = races.raceid | 

### Response:

select constructors.name from constructors join constructorstandings on constructors.constructorid = constructorstandings.constructorid where constructors.nationality = 'Japanese' and constructorstandings.points > 5
### Instruction:

Convert text to sql: What are the names of all the Japanese constructors that have earned more than 5 points? | circuits : circuitid , circuitref , name , location , country , lat , lng , alt , url | races : raceid , year , round , circuitid , name , date , time , url | drivers : driverid , driverref , number , code , forename , surname , dob , nationality , url | status : statusid , status | seasons : year , url | constructors : constructorid , constructorref , name , nationality , url | constructorstandings : constructorstandingsid , raceid , constructorid , points , position , positiontext , wins | results : resultid , raceid , driverid , constructorid , number , grid , position , positiontext , positionorder , points , laps , time , milliseconds , fastestlap , rank , fastestlaptime , fastestlapspeed , statusid | driverstandings : driverstandingsid , raceid , driverid , points , position , positiontext , wins | constructorresults : constructorresultsid , raceid , constructorid , points , status | qualifying : qualifyid , raceid , driverid , constructorid , number , position , q1 , q2 , q3 | pitstops : raceid , driverid , stop , lap , time , duration , milliseconds | laptimes : raceid , driverid , lap , position , time , milliseconds | races.circuitid = circuits.circuitid | constructorstandings.raceid = races.raceid | constructorstandings.constructorid = constructors.constructorid | results.driverid = drivers.driverid | results.raceid = races.raceid | results.constructorid = constructors.constructorid | driverstandings.driverid = drivers.driverid | driverstandings.raceid = races.raceid | constructorresults.raceid = races.raceid | constructorresults.constructorid = constructors.constructorid | qualifying.driverid = drivers.driverid | qualifying.raceid = races.raceid | qualifying.constructorid = constructors.constructorid | pitstops.driverid = drivers.driverid | pitstops.raceid = races.raceid | laptimes.driverid = drivers.driverid | laptimes.raceid = races.raceid | 

### Response:

select constructors.name from constructors join constructorstandings on constructors.constructorid = constructorstandings.constructorid where constructors.nationality = 'Japanese' and constructorstandings.points > 5
### Instruction:

Convert text to sql: What is the average fastest lap speed in race named 'Monaco Grand Prix' in 2008 ? | circuits : circuitid , circuitref , name , location , country , lat , lng , alt , url | races : raceid , year , round , circuitid , name , date , time , url | drivers : driverid , driverref , number , code , forename , surname , dob , nationality , url | status : statusid , status | seasons : year , url | constructors : constructorid , constructorref , name , nationality , url | constructorstandings : constructorstandingsid , raceid , constructorid , points , position , positiontext , wins | results : resultid , raceid , driverid , constructorid , number , grid , position , positiontext , positionorder , points , laps , time , milliseconds , fastestlap , rank , fastestlaptime , fastestlapspeed , statusid | driverstandings : driverstandingsid , raceid , driverid , points , position , positiontext , wins | constructorresults : constructorresultsid , raceid , constructorid , points , status | qualifying : qualifyid , raceid , driverid , constructorid , number , position , q1 , q2 , q3 | pitstops : raceid , driverid , stop , lap , time , duration , milliseconds | laptimes : raceid , driverid , lap , position , time , milliseconds | races.circuitid = circuits.circuitid | constructorstandings.raceid = races.raceid | constructorstandings.constructorid = constructors.constructorid | results.driverid = drivers.driverid | results.raceid = races.raceid | results.constructorid = constructors.constructorid | driverstandings.driverid = drivers.driverid | driverstandings.raceid = races.raceid | constructorresults.raceid = races.raceid | constructorresults.constructorid = constructors.constructorid | qualifying.driverid = drivers.driverid | qualifying.raceid = races.raceid | qualifying.constructorid = constructors.constructorid | pitstops.driverid = drivers.driverid | pitstops.raceid = races.raceid | laptimes.driverid = drivers.driverid | laptimes.raceid = races.raceid | 

### Response:

select avg ( results.fastestlapspeed ) from races join results on races.raceid = results.raceid where races.year = 2008 and races.name = 'Monaco Grand Prix'
### Instruction:

Convert text to sql: What is the average fastest lap speed for the Monaco Grand Prix in 2008? | circuits : circuitid , circuitref , name , location , country , lat , lng , alt , url | races : raceid , year , round , circuitid , name , date , time , url | drivers : driverid , driverref , number , code , forename , surname , dob , nationality , url | status : statusid , status | seasons : year , url | constructors : constructorid , constructorref , name , nationality , url | constructorstandings : constructorstandingsid , raceid , constructorid , points , position , positiontext , wins | results : resultid , raceid , driverid , constructorid , number , grid , position , positiontext , positionorder , points , laps , time , milliseconds , fastestlap , rank , fastestlaptime , fastestlapspeed , statusid | driverstandings : driverstandingsid , raceid , driverid , points , position , positiontext , wins | constructorresults : constructorresultsid , raceid , constructorid , points , status | qualifying : qualifyid , raceid , driverid , constructorid , number , position , q1 , q2 , q3 | pitstops : raceid , driverid , stop , lap , time , duration , milliseconds | laptimes : raceid , driverid , lap , position , time , milliseconds | races.circuitid = circuits.circuitid | constructorstandings.raceid = races.raceid | constructorstandings.constructorid = constructors.constructorid | results.driverid = drivers.driverid | results.raceid = races.raceid | results.constructorid = constructors.constructorid | driverstandings.driverid = drivers.driverid | driverstandings.raceid = races.raceid | constructorresults.raceid = races.raceid | constructorresults.constructorid = constructors.constructorid | qualifying.driverid = drivers.driverid | qualifying.raceid = races.raceid | qualifying.constructorid = constructors.constructorid | pitstops.driverid = drivers.driverid | pitstops.raceid = races.raceid | laptimes.driverid = drivers.driverid | laptimes.raceid = races.raceid | 

### Response:

select avg ( results.fastestlapspeed ) from races join results on races.raceid = results.raceid where races.year = 2008 and races.name = 'Monaco Grand Prix'
### Instruction:

Convert text to sql: What is the maximum fastest lap speed in race named 'Monaco Grand Prix' in 2008 ? | circuits : circuitid , circuitref , name , location , country , lat , lng , alt , url | races : raceid , year , round , circuitid , name , date , time , url | drivers : driverid , driverref , number , code , forename , surname , dob , nationality , url | status : statusid , status | seasons : year , url | constructors : constructorid , constructorref , name , nationality , url | constructorstandings : constructorstandingsid , raceid , constructorid , points , position , positiontext , wins | results : resultid , raceid , driverid , constructorid , number , grid , position , positiontext , positionorder , points , laps , time , milliseconds , fastestlap , rank , fastestlaptime , fastestlapspeed , statusid | driverstandings : driverstandingsid , raceid , driverid , points , position , positiontext , wins | constructorresults : constructorresultsid , raceid , constructorid , points , status | qualifying : qualifyid , raceid , driverid , constructorid , number , position , q1 , q2 , q3 | pitstops : raceid , driverid , stop , lap , time , duration , milliseconds | laptimes : raceid , driverid , lap , position , time , milliseconds | races.circuitid = circuits.circuitid | constructorstandings.raceid = races.raceid | constructorstandings.constructorid = constructors.constructorid | results.driverid = drivers.driverid | results.raceid = races.raceid | results.constructorid = constructors.constructorid | driverstandings.driverid = drivers.driverid | driverstandings.raceid = races.raceid | constructorresults.raceid = races.raceid | constructorresults.constructorid = constructors.constructorid | qualifying.driverid = drivers.driverid | qualifying.raceid = races.raceid | qualifying.constructorid = constructors.constructorid | pitstops.driverid = drivers.driverid | pitstops.raceid = races.raceid | laptimes.driverid = drivers.driverid | laptimes.raceid = races.raceid | 

### Response:

select max ( results.fastestlapspeed ) from races join results on races.raceid = results.raceid where races.year = 2008 and races.name = 'Monaco Grand Prix'
### Instruction:

Convert text to sql: What is the maximum fastest lap speed in the Monaco Grand Prix in 2008? | circuits : circuitid , circuitref , name , location , country , lat , lng , alt , url | races : raceid , year , round , circuitid , name , date , time , url | drivers : driverid , driverref , number , code , forename , surname , dob , nationality , url | status : statusid , status | seasons : year , url | constructors : constructorid , constructorref , name , nationality , url | constructorstandings : constructorstandingsid , raceid , constructorid , points , position , positiontext , wins | results : resultid , raceid , driverid , constructorid , number , grid , position , positiontext , positionorder , points , laps , time , milliseconds , fastestlap , rank , fastestlaptime , fastestlapspeed , statusid | driverstandings : driverstandingsid , raceid , driverid , points , position , positiontext , wins | constructorresults : constructorresultsid , raceid , constructorid , points , status | qualifying : qualifyid , raceid , driverid , constructorid , number , position , q1 , q2 , q3 | pitstops : raceid , driverid , stop , lap , time , duration , milliseconds | laptimes : raceid , driverid , lap , position , time , milliseconds | races.circuitid = circuits.circuitid | constructorstandings.raceid = races.raceid | constructorstandings.constructorid = constructors.constructorid | results.driverid = drivers.driverid | results.raceid = races.raceid | results.constructorid = constructors.constructorid | driverstandings.driverid = drivers.driverid | driverstandings.raceid = races.raceid | constructorresults.raceid = races.raceid | constructorresults.constructorid = constructors.constructorid | qualifying.driverid = drivers.driverid | qualifying.raceid = races.raceid | qualifying.constructorid = constructors.constructorid | pitstops.driverid = drivers.driverid | pitstops.raceid = races.raceid | laptimes.driverid = drivers.driverid | laptimes.raceid = races.raceid | 

### Response:

select max ( results.fastestlapspeed ) from races join results on races.raceid = results.raceid where races.year = 2008 and races.name = 'Monaco Grand Prix'
### Instruction:

Convert text to sql: What are the maximum fastest lap speed in races held after 2004 grouped by race name and ordered by year? | circuits : circuitid , circuitref , name , location , country , lat , lng , alt , url | races : raceid , year , round , circuitid , name , date , time , url | drivers : driverid , driverref , number , code , forename , surname , dob , nationality , url | status : statusid , status | seasons : year , url | constructors : constructorid , constructorref , name , nationality , url | constructorstandings : constructorstandingsid , raceid , constructorid , points , position , positiontext , wins | results : resultid , raceid , driverid , constructorid , number , grid , position , positiontext , positionorder , points , laps , time , milliseconds , fastestlap , rank , fastestlaptime , fastestlapspeed , statusid | driverstandings : driverstandingsid , raceid , driverid , points , position , positiontext , wins | constructorresults : constructorresultsid , raceid , constructorid , points , status | qualifying : qualifyid , raceid , driverid , constructorid , number , position , q1 , q2 , q3 | pitstops : raceid , driverid , stop , lap , time , duration , milliseconds | laptimes : raceid , driverid , lap , position , time , milliseconds | races.circuitid = circuits.circuitid | constructorstandings.raceid = races.raceid | constructorstandings.constructorid = constructors.constructorid | results.driverid = drivers.driverid | results.raceid = races.raceid | results.constructorid = constructors.constructorid | driverstandings.driverid = drivers.driverid | driverstandings.raceid = races.raceid | constructorresults.raceid = races.raceid | constructorresults.constructorid = constructors.constructorid | qualifying.driverid = drivers.driverid | qualifying.raceid = races.raceid | qualifying.constructorid = constructors.constructorid | pitstops.driverid = drivers.driverid | pitstops.raceid = races.raceid | laptimes.driverid = drivers.driverid | laptimes.raceid = races.raceid | 

### Response:

select max ( results.fastestlapspeed ) , races.name , races.year from races join results on races.raceid = results.raceid where races.year > 2014 group by races.name order by races.year asc
### Instruction:

Convert text to sql: For each race name, What is the maximum fastest lap speed for races after 2004 ordered by year? | circuits : circuitid , circuitref , name , location , country , lat , lng , alt , url | races : raceid , year , round , circuitid , name , date , time , url | drivers : driverid , driverref , number , code , forename , surname , dob , nationality , url | status : statusid , status | seasons : year , url | constructors : constructorid , constructorref , name , nationality , url | constructorstandings : constructorstandingsid , raceid , constructorid , points , position , positiontext , wins | results : resultid , raceid , driverid , constructorid , number , grid , position , positiontext , positionorder , points , laps , time , milliseconds , fastestlap , rank , fastestlaptime , fastestlapspeed , statusid | driverstandings : driverstandingsid , raceid , driverid , points , position , positiontext , wins | constructorresults : constructorresultsid , raceid , constructorid , points , status | qualifying : qualifyid , raceid , driverid , constructorid , number , position , q1 , q2 , q3 | pitstops : raceid , driverid , stop , lap , time , duration , milliseconds | laptimes : raceid , driverid , lap , position , time , milliseconds | races.circuitid = circuits.circuitid | constructorstandings.raceid = races.raceid | constructorstandings.constructorid = constructors.constructorid | results.driverid = drivers.driverid | results.raceid = races.raceid | results.constructorid = constructors.constructorid | driverstandings.driverid = drivers.driverid | driverstandings.raceid = races.raceid | constructorresults.raceid = races.raceid | constructorresults.constructorid = constructors.constructorid | qualifying.driverid = drivers.driverid | qualifying.raceid = races.raceid | qualifying.constructorid = constructors.constructorid | pitstops.driverid = drivers.driverid | pitstops.raceid = races.raceid | laptimes.driverid = drivers.driverid | laptimes.raceid = races.raceid | 

### Response:

select max ( results.fastestlapspeed ) , races.name , races.year from races join results on races.raceid = results.raceid where races.year > 2014 group by races.name order by races.year asc
### Instruction:

Convert text to sql: What are the average fastest lap speed in races held after 2004 grouped by race name and ordered by year? | circuits : circuitid , circuitref , name , location , country , lat , lng , alt , url | races : raceid , year , round , circuitid , name , date , time , url | drivers : driverid , driverref , number , code , forename , surname , dob , nationality , url | status : statusid , status | seasons : year , url | constructors : constructorid , constructorref , name , nationality , url | constructorstandings : constructorstandingsid , raceid , constructorid , points , position , positiontext , wins | results : resultid , raceid , driverid , constructorid , number , grid , position , positiontext , positionorder , points , laps , time , milliseconds , fastestlap , rank , fastestlaptime , fastestlapspeed , statusid | driverstandings : driverstandingsid , raceid , driverid , points , position , positiontext , wins | constructorresults : constructorresultsid , raceid , constructorid , points , status | qualifying : qualifyid , raceid , driverid , constructorid , number , position , q1 , q2 , q3 | pitstops : raceid , driverid , stop , lap , time , duration , milliseconds | laptimes : raceid , driverid , lap , position , time , milliseconds | races.circuitid = circuits.circuitid | constructorstandings.raceid = races.raceid | constructorstandings.constructorid = constructors.constructorid | results.driverid = drivers.driverid | results.raceid = races.raceid | results.constructorid = constructors.constructorid | driverstandings.driverid = drivers.driverid | driverstandings.raceid = races.raceid | constructorresults.raceid = races.raceid | constructorresults.constructorid = constructors.constructorid | qualifying.driverid = drivers.driverid | qualifying.raceid = races.raceid | qualifying.constructorid = constructors.constructorid | pitstops.driverid = drivers.driverid | pitstops.raceid = races.raceid | laptimes.driverid = drivers.driverid | laptimes.raceid = races.raceid | 

### Response:

select avg ( results.fastestlapspeed ) , races.name , races.year from races join results on races.raceid = results.raceid where races.year > 2014 group by races.name order by races.year asc