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

Convert text to sql: How many tourists did not make any visit? | ref_hotel_star_ratings : star_rating_code , star_rating_description | locations : location_id , location_name , address , other_details | ref_attraction_types : attraction_type_code , attraction_type_description | visitors : tourist_id , tourist_details | features : feature_id , feature_details | hotels : hotel_id , star_rating_code , pets_allowed_yn , price_range , other_hotel_details | tourist_attractions : tourist_attraction_id , attraction_type_code , location_id , how_to_get_there , name , description , opening_hours , other_details | street_markets : market_id , market_details | shops : shop_id , shop_details | museums : museum_id , museum_details | royal_family : royal_family_id , royal_family_details | theme_parks : theme_park_id , theme_park_details | visits : visit_id , tourist_attraction_id , tourist_id , visit_date , visit_details | photos : photo_id , tourist_attraction_id , name , description , filename , other_details | staff : staff_id , tourist_attraction_id , name , other_details | tourist_attraction_features : tourist_attraction_id , feature_id | hotels.star_rating_code = ref_hotel_star_ratings.star_rating_code | tourist_attractions.attraction_type_code = ref_attraction_types.attraction_type_code | tourist_attractions.location_id = locations.location_id | street_markets.market_id = tourist_attractions.tourist_attraction_id | shops.shop_id = tourist_attractions.tourist_attraction_id | museums.museum_id = tourist_attractions.tourist_attraction_id | royal_family.royal_family_id = tourist_attractions.tourist_attraction_id | theme_parks.theme_park_id = tourist_attractions.tourist_attraction_id | visits.tourist_id = visitors.tourist_id | visits.tourist_attraction_id = tourist_attractions.tourist_attraction_id | photos.tourist_attraction_id = tourist_attractions.tourist_attraction_id | staff.tourist_attraction_id = tourist_attractions.tourist_attraction_id | tourist_attraction_features.feature_id = features.feature_id | tourist_attraction_features.tourist_attraction_id = tourist_attractions.tourist_attraction_id | 

### Response:

select count ( * ) from visitors where tourist_id not in ( select tourist_id from visits )
### Instruction:

Convert text to sql: Count the number of tourists who did not visit any place. | ref_hotel_star_ratings : star_rating_code , star_rating_description | locations : location_id , location_name , address , other_details | ref_attraction_types : attraction_type_code , attraction_type_description | visitors : tourist_id , tourist_details | features : feature_id , feature_details | hotels : hotel_id , star_rating_code , pets_allowed_yn , price_range , other_hotel_details | tourist_attractions : tourist_attraction_id , attraction_type_code , location_id , how_to_get_there , name , description , opening_hours , other_details | street_markets : market_id , market_details | shops : shop_id , shop_details | museums : museum_id , museum_details | royal_family : royal_family_id , royal_family_details | theme_parks : theme_park_id , theme_park_details | visits : visit_id , tourist_attraction_id , tourist_id , visit_date , visit_details | photos : photo_id , tourist_attraction_id , name , description , filename , other_details | staff : staff_id , tourist_attraction_id , name , other_details | tourist_attraction_features : tourist_attraction_id , feature_id | hotels.star_rating_code = ref_hotel_star_ratings.star_rating_code | tourist_attractions.attraction_type_code = ref_attraction_types.attraction_type_code | tourist_attractions.location_id = locations.location_id | street_markets.market_id = tourist_attractions.tourist_attraction_id | shops.shop_id = tourist_attractions.tourist_attraction_id | museums.museum_id = tourist_attractions.tourist_attraction_id | royal_family.royal_family_id = tourist_attractions.tourist_attraction_id | theme_parks.theme_park_id = tourist_attractions.tourist_attraction_id | visits.tourist_id = visitors.tourist_id | visits.tourist_attraction_id = tourist_attractions.tourist_attraction_id | photos.tourist_attraction_id = tourist_attractions.tourist_attraction_id | staff.tourist_attraction_id = tourist_attractions.tourist_attraction_id | tourist_attraction_features.feature_id = features.feature_id | tourist_attraction_features.tourist_attraction_id = tourist_attractions.tourist_attraction_id | 

### Response:

select count ( * ) from visitors where tourist_id not in ( select tourist_id from visits )
### Instruction:

Convert text to sql: How many video games exist? | 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 ( * ) from video_games

### Instruction:

Convert text to sql: How many video games do you have? | 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 ( * ) from video_games

### Instruction:

Convert text to sql: How many video game types exist? | 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 gtype ) from video_games

### Instruction:

Convert text to sql: What is the count of different game types? | 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 gtype ) from video_games

### Instruction:

Convert text to sql: Show all video game types. | 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 distinct gtype from video_games

### Instruction:

Convert text to sql: What are the different types of 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 distinct gtype from video_games
### Instruction:

Convert text to sql: Show all video games and their types in the order of their names. | 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 gname , gtype from video_games order by gname asc

### Instruction:

Convert text to sql: What are the names of all the video games and their types in alphabetical order? | 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 gname , gtype from video_games order by gname asc

### Instruction:

Convert text to sql: Show all video games with type Collectible card 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 gname from video_games where gtype = 'Collectible card game'

### Instruction:

Convert text to sql: What are the names of all video games that are collectible cards? | 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 gname from video_games where gtype = 'Collectible card game'

### Instruction:

Convert text to sql: What is the type of video game Call of Destiny. | 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 gtype from video_games where gname = 'Call of Destiny'

### Instruction:

Convert text to sql: What type of game is Call of Destiny? | 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 gtype from video_games where gname = 'Call of Destiny'
### Instruction:

Convert text to sql: How many video games have type Massively multiplayer online 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 count ( * ) from video_games where gtype = 'Massively multiplayer online game'

### Instruction:

Convert text to sql: Count the number of video games with Massively multiplayer online game type . | 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 ( * ) from video_games where gtype = 'Massively multiplayer online game'

### Instruction:

Convert text to sql: Show all video game types and the number of video games in each type. | 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 gtype , count ( * ) from video_games group by gtype

### Instruction:

Convert text to sql: What are the types of video games and how many are in each type? | 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 gtype , count ( * ) from video_games group by gtype

### Instruction:

Convert text to sql: Which game type has most number of 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 gtype from video_games group by gtype order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: What type has the most 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 gtype from video_games group by gtype order by count ( * ) desc limit 1

### Instruction:

Convert text to sql: Which game type has least number of 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 gtype from video_games group by gtype order by count ( * ) asc limit 1

### Instruction:

Convert text to sql: What is the type with the fewest 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 gtype from video_games group by gtype order by count ( * ) asc limit 1

### Instruction:

Convert text to sql: Show ids for all students who live in CHI. | 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 stuid from student where city_code = 'CHI'

### Instruction:

Convert text to sql: What are the ids of all students who live in CHI? | 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 stuid from student where city_code = 'CHI'

### Instruction:

Convert text to sql: Show ids for all students who have advisor 1121. | 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 stuid from student where advisor = 1121
### Instruction:

Convert text to sql: What are the ids of all students who have advisor number 1121? | 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 stuid from student where advisor = 1121

### Instruction:

Convert text to sql: Show first name for all students with major 600. | 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 fname from student where major = 600

### Instruction:

Convert text to sql: What are the first names for all students who are from the major numbered 600? | 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 fname from student where major = 600

### Instruction:

Convert text to sql: Show the average, minimum, and maximum age for different majors. | 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 major , avg ( age ) , min ( age ) , max ( age ) from student group by major

### Instruction:

Convert text to sql: What are the average, minimum, and max ages for each of the different majors? | 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 major , avg ( age ) , min ( age ) , max ( age ) from student group by major
### Instruction:

Convert text to sql: Show all advisors who have at least two students. | 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 advisor from student group by advisor having count ( * ) >= 2

### Instruction:

Convert text to sql: What are the advisors | 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 advisor from student group by advisor having count ( * ) >= 2

### Instruction:

Convert text to sql: How many sports do we have? | 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 sportname ) from sportsinfo

### Instruction:

Convert text to sql: How many different types of sports do we offer? | 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 sportname ) from sportsinfo

### Instruction:

Convert text to sql: How many students 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 count ( distinct stuid ) from sportsinfo

### Instruction:

Convert text to sql: How many different students are involved in 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 count ( distinct stuid ) from sportsinfo