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

Convert text to sql: How many drivers did not participate in the races held in 2009? | 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 count ( distinct _ ) from _ where _ not in ( select _ from _ where _ ) | select count ( distinct driverid ) from results where raceid not in ( select raceid from races where year != 2009 )
### Instruction:

Convert text to sql: How many drivers did not race in 2009? | 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 count ( distinct _ ) from _ where _ not in ( select _ from _ where _ ) | select count ( distinct driverid ) from results where raceid not in ( select raceid from races where year != 2009 )
### Instruction:

Convert text to sql: Give me a list of names and years of races that had any driver whose forename is Lewis? | 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 _ from _ where _ | select races.name , races.year from results join races on results.raceid = races.raceid join drivers on results.driverid = drivers.driverid where drivers.forename = 'Lewis'
### Instruction:

Convert text to sql: What are the names and years of all races that had a driver with the last name Lewis? | 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 _ from _ where _ | select races.name , races.year from results join races on results.raceid = races.raceid join drivers on results.driverid = drivers.driverid where drivers.forename = 'Lewis'
### Instruction:

Convert text to sql: Find the forename and surname of drivers whose nationality is German? | 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 _ from _ where _ | select forename , surname from drivers where nationality = 'German'
### Instruction:

Convert text to sql: What is the first and last name of all the German drivers? | 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 _ from _ where _ | select forename , surname from drivers where nationality = 'German'
### Instruction:

Convert text to sql: Find the id and forenames of drivers who participated both the races with name Australian Grand Prix and the races with name Chinese Grand Prix? | 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 _ from _ where _ intersect select _ from _ where _ | select results.driverid , drivers.forename from races join results on races.raceid = results.raceid join drivers on results.driverid = drivers.driverid where races.name = 'Australian Grand Prix' intersect select results.driverid , drivers.forename from races join results on races.raceid = results.raceid join drivers on results.driverid = drivers.driverid where races.name = 'Chinese Grand Prix'
### Instruction:

Convert text to sql: What is the id and first name of all the drivers who participated in the Australian Grand Prix and the Chinese Grand Prix? | 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 _ from _ where _ intersect select _ from _ where _ | select results.driverid , drivers.forename from races join results on races.raceid = results.raceid join drivers on results.driverid = drivers.driverid where races.name = 'Australian Grand Prix' intersect select results.driverid , drivers.forename from races join results on races.raceid = results.raceid join drivers on results.driverid = drivers.driverid where races.name = 'Chinese Grand Prix'
### Instruction:

Convert text to sql: What are the forenames and surnames of drivers who participated in the races named Australian Grand Prix but not the races named Chinese Grand Prix? | 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 _ from _ where _ except select _ from _ where _ | select drivers.forename , drivers.surname from races join results on races.raceid = results.raceid join drivers on results.driverid = drivers.driverid where races.name = 'Australian Grand Prix' except select drivers.forename , drivers.surname from races join results on races.raceid = results.raceid join drivers on results.driverid = drivers.driverid where races.name = 'Chinese Grand Prix'
### Instruction:

Convert text to sql: What are the first and last names of all drivers who participated in the Australian Grand Prix but not the Chinese Grand Prix? | 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 _ from _ where _ except select _ from _ where _ | select drivers.forename , drivers.surname from races join results on races.raceid = results.raceid join drivers on results.driverid = drivers.driverid where races.name = 'Australian Grand Prix' except select drivers.forename , drivers.surname from races join results on races.raceid = results.raceid join drivers on results.driverid = drivers.driverid where races.name = 'Chinese Grand Prix'