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

Convert text to sql: Show student ids who are female and play football. | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select stuid from student where sex = 'F' intersect select stuid from sportsinfo where sportname = 'Football'
### Instruction:

Convert text to sql: What are the ids of all female students who play football? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select stuid from student where sex = 'F' intersect select stuid from sportsinfo where sportname = 'Football'
### Instruction:

Convert text to sql: Show all male student ids who don't play football. | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ where _ except select _ from _ where _ | select stuid from student where sex = 'M' except select stuid from sportsinfo where sportname = 'Football'
### Instruction:

Convert text to sql: What are the ids of all male students who do not play football? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ where _ except select _ from _ where _ | select stuid from student where sex = 'M' except select stuid from sportsinfo where sportname = 'Football'
### Instruction:

Convert text to sql: Show total hours per week and number of games played for student David Shieber. | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select sum ( _ ) , sum ( _ ) from _ where _ | select sum ( hoursperweek ) , sum ( gamesplayed ) from sportsinfo join student on sportsinfo.stuid = student.stuid where student.fname = 'David' and student.lname = 'Shieber'
### Instruction:

Convert text to sql: What is the total number of hours per work and number of games played by David Shieber? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select sum ( _ ) , sum ( _ ) from _ where _ | select sum ( hoursperweek ) , sum ( gamesplayed ) from sportsinfo join student on sportsinfo.stuid = student.stuid where student.fname = 'David' and student.lname = 'Shieber'
### Instruction:

Convert text to sql: Show total hours per week and number of games played for students under 20. | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select sum ( _ ) , sum ( _ ) from _ where _ | select sum ( hoursperweek ) , sum ( gamesplayed ) from sportsinfo join student on sportsinfo.stuid = student.stuid where student.age < 20
### Instruction:

Convert text to sql: What is the total number of hours per week and number of games played by students under 20? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select sum ( _ ) , sum ( _ ) from _ where _ | select sum ( hoursperweek ) , sum ( gamesplayed ) from sportsinfo join student on sportsinfo.stuid = student.stuid where student.age < 20
### Instruction:

Convert text to sql: How many students play video games? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select count ( distinct _ ) from _ | select count ( distinct stuid ) from plays_games
### Instruction:

Convert text to sql: How many different students play games? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select count ( distinct _ ) from _ | select count ( distinct stuid ) from plays_games
### Instruction:

Convert text to sql: Show ids of students who don't play video game. | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ except select _ from _ | select stuid from student except select stuid from plays_games
### Instruction:

Convert text to sql: What are the ids of all students who are not video game players? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ except select _ from _ | select stuid from student except select stuid from plays_games
### Instruction:

Convert text to sql: Show ids of students who play video game and play sports. | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ intersect select _ from _ | select stuid from sportsinfo intersect select stuid from plays_games
### Instruction:

Convert text to sql: What are the ids of all students who played video games and sports? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ intersect select _ from _ | select stuid from sportsinfo intersect select stuid from plays_games
### Instruction:

Convert text to sql: Show all game ids and the number of hours played. | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ , sum ( _ ) from _ group by _ | select gameid , sum ( hours_played ) from plays_games group by gameid
### Instruction:

Convert text to sql: What are ids and total number of hours played for each game? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ , sum ( _ ) from _ group by _ | select gameid , sum ( hours_played ) from plays_games group by gameid
### Instruction:

Convert text to sql: Show all student ids and the number of hours played. | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ , sum ( _ ) from _ group by _ | select stuid , sum ( hours_played ) from plays_games group by stuid
### Instruction:

Convert text to sql: What are the ids of all students and number of hours played? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ , sum ( _ ) from _ group by _ | select stuid , sum ( hours_played ) from plays_games group by stuid
### Instruction:

Convert text to sql: Show the game name that has most number of hours played. | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ group by _ order by sum ( _ ) desc limit _ | select gname from plays_games join video_games on plays_games.gameid = video_games.gameid group by plays_games.gameid order by sum ( hours_played ) desc limit 1
### Instruction:

Convert text to sql: What is the name of the game that has been played the most? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ group by _ order by sum ( _ ) desc limit _ | select gname from plays_games join video_games on plays_games.gameid = video_games.gameid group by plays_games.gameid order by sum ( hours_played ) desc limit 1
### Instruction:

Convert text to sql: Show all game names played by at least 1000 hours. | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ group by _ having sum ( _ ) >= _ | select gname from plays_games join video_games on plays_games.gameid = video_games.gameid group by plays_games.gameid having sum ( hours_played ) >= 1000
### Instruction:

Convert text to sql: What are the names of all the games that have been played for at least 1000 hours? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ group by _ having sum ( _ ) >= _ | select gname from plays_games join video_games on plays_games.gameid = video_games.gameid group by plays_games.gameid having sum ( hours_played ) >= 1000
### Instruction:

Convert text to sql: Show all game names played by Linda Smith | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ where _ | select gname from plays_games join video_games on plays_games.gameid = video_games.gameid join student on student.stuid = plays_games.stuid where student.lname = 'Smith' and student.fname = 'Linda'
### Instruction:

Convert text to sql: What are the names of all games played by Linda Smith? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ where _ | select gname from plays_games join video_games on plays_games.gameid = video_games.gameid join student on student.stuid = plays_games.stuid where student.lname = 'Smith' and student.fname = 'Linda'
### Instruction:

Convert text to sql: Find the last and first name of students who are playing Football or Lacrosse. | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ where _ | select student.lname , student.fname from sportsinfo join student on sportsinfo.stuid = student.stuid where sportsinfo.sportname = 'Football' or sportsinfo.sportname = 'Lacrosse'
### Instruction:

Convert text to sql: What is the first and last name of all students who play Football or Lacrosse? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ where _ | select student.lname , student.fname from sportsinfo join student on sportsinfo.stuid = student.stuid where sportsinfo.sportname = 'Football' or sportsinfo.sportname = 'Lacrosse'
### Instruction:

Convert text to sql: Find the first name and age of the students who are playing both Football and Lacrosse. | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ where _ in ( select _ from _ where _ intersect select _ from _ where _ ) | select fname , age from student where stuid in ( select stuid from sportsinfo where sportname = 'Football' intersect select stuid from sportsinfo where sportname = 'Lacrosse' )
### Instruction:

Convert text to sql: What are the first names and ages of all students who are playing both Football and Lacrosse? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ where _ in ( select _ from _ where _ intersect select _ from _ where _ ) | select fname , age from student where stuid in ( select stuid from sportsinfo where sportname = 'Football' intersect select stuid from sportsinfo where sportname = 'Lacrosse' )
### Instruction:

Convert text to sql: Find the last name and gender of the students who are playing both Call of Destiny and Works of Widenius games. | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ where _ in ( select _ from _ where _ intersect select _ from _ where _ ) | select lname , sex from student where stuid in ( select plays_games.stuid from plays_games join video_games on plays_games.gameid = video_games.gameid where video_games.gname = 'Call of Destiny' intersect select plays_games.stuid from plays_games join video_games on plays_games.gameid = video_games.gameid where video_games.gname = 'Works of Widenius' )
### Instruction:

Convert text to sql: what is the last name and gender of all students who played both Call of Destiny and Works of Widenius? | student : stuid , lname , fname , age , sex , major , advisor , city_code | video_games : gameid , gname , gtype | plays_games : stuid , gameid , hours_played | sportsinfo : stuid , sportname , hoursperweek , gamesplayed , onscholarship | plays_games.stuid = student.stuid | plays_games.gameid = video_games.gameid | sportsinfo.stuid = student.stuid | 

### Response:

select _ from _ where _ in ( select _ from _ where _ intersect select _ from _ where _ ) | select lname , sex from student where stuid in ( select plays_games.stuid from plays_games join video_games on plays_games.gameid = video_games.gameid where video_games.gname = 'Call of Destiny' intersect select plays_games.stuid from plays_games join video_games on plays_games.gameid = video_games.gameid where video_games.gname = 'Works of Widenius' )
### Instruction:

Convert text to sql: Find the name of all customers. | addresses : address_id , address_content , city , zip_postcode , state_province_county , country , other_address_details | products : product_id , product_details | customers : customer_id , payment_method , customer_name , date_became_customer , other_customer_details | customer_addresses : customer_id , address_id , date_address_from , address_type , date_address_to | customer_contact_channels : customer_id , channel_code , active_from_date , active_to_date , contact_number | customer_orders : order_id , customer_id , order_status , order_date , order_details | order_items : order_id , product_id , order_quantity | customer_addresses.customer_id = customers.customer_id | customer_addresses.address_id = addresses.address_id | customer_contact_channels.customer_id = customers.customer_id | customer_orders.customer_id = customers.customer_id | order_items.order_id = customer_orders.order_id | order_items.product_id = products.product_id | 

### Response:

select _ from _ | select customer_name from customers
### Instruction:

Convert text to sql: What are the names of all the customers? | addresses : address_id , address_content , city , zip_postcode , state_province_county , country , other_address_details | products : product_id , product_details | customers : customer_id , payment_method , customer_name , date_became_customer , other_customer_details | customer_addresses : customer_id , address_id , date_address_from , address_type , date_address_to | customer_contact_channels : customer_id , channel_code , active_from_date , active_to_date , contact_number | customer_orders : order_id , customer_id , order_status , order_date , order_details | order_items : order_id , product_id , order_quantity | customer_addresses.customer_id = customers.customer_id | customer_addresses.address_id = addresses.address_id | customer_contact_channels.customer_id = customers.customer_id | customer_orders.customer_id = customers.customer_id | order_items.order_id = customer_orders.order_id | order_items.product_id = products.product_id | 

### Response:

select _ from _ | select customer_name from customers
### Instruction:

Convert text to sql: How many customers are there? | addresses : address_id , address_content , city , zip_postcode , state_province_county , country , other_address_details | products : product_id , product_details | customers : customer_id , payment_method , customer_name , date_became_customer , other_customer_details | customer_addresses : customer_id , address_id , date_address_from , address_type , date_address_to | customer_contact_channels : customer_id , channel_code , active_from_date , active_to_date , contact_number | customer_orders : order_id , customer_id , order_status , order_date , order_details | order_items : order_id , product_id , order_quantity | customer_addresses.customer_id = customers.customer_id | customer_addresses.address_id = addresses.address_id | customer_contact_channels.customer_id = customers.customer_id | customer_orders.customer_id = customers.customer_id | order_items.order_id = customer_orders.order_id | order_items.product_id = products.product_id | 

### Response:

select count ( _ ) from _ | select count ( * ) from customers
### Instruction:

Convert text to sql: Return the total number of distinct customers. | addresses : address_id , address_content , city , zip_postcode , state_province_county , country , other_address_details | products : product_id , product_details | customers : customer_id , payment_method , customer_name , date_became_customer , other_customer_details | customer_addresses : customer_id , address_id , date_address_from , address_type , date_address_to | customer_contact_channels : customer_id , channel_code , active_from_date , active_to_date , contact_number | customer_orders : order_id , customer_id , order_status , order_date , order_details | order_items : order_id , product_id , order_quantity | customer_addresses.customer_id = customers.customer_id | customer_addresses.address_id = addresses.address_id | customer_contact_channels.customer_id = customers.customer_id | customer_orders.customer_id = customers.customer_id | order_items.order_id = customer_orders.order_id | order_items.product_id = products.product_id | 

### Response:

select count ( _ ) from _ | select count ( * ) from customers