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

Convert text to sql: List the names of climbers whose country is not Switzerland. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ where _ | select name from climber where country != 'Switzerland'
### Instruction:

Convert text to sql: What are the names of climbers who are not from the country of Switzerland? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ where _ | select name from climber where country != 'Switzerland'
### Instruction:

Convert text to sql: What is the maximum point for climbers whose country is United Kingdom? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select max ( _ ) from _ where _ | select max ( points ) from climber where country = 'United Kingdom'
### Instruction:

Convert text to sql: Return the maximum number of points for climbers from the United Kingdom. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select max ( _ ) from _ where _ | select max ( points ) from climber where country = 'United Kingdom'
### Instruction:

Convert text to sql: How many distinct countries are the climbers from? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select count ( distinct _ ) from _ | select count ( distinct country ) from climber
### Instruction:

Convert text to sql: Count the number of different countries that climbers are from. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select count ( distinct _ ) from _ | select count ( distinct country ) from climber
### Instruction:

Convert text to sql: What are the names of mountains in ascending alphabetical order? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ order by _ asc | select name from mountain order by name asc
### Instruction:

Convert text to sql: Give the names of mountains in alphabetical order. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ order by _ asc | select name from mountain order by name asc
### Instruction:

Convert text to sql: What are the countries of mountains with height bigger than 5000? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ where _ | select country from mountain where height > 5000
### Instruction:

Convert text to sql: Return the countries of the mountains that have a height larger than 5000. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ where _ | select country from mountain where height > 5000
### Instruction:

Convert text to sql: What is the name of the highest mountain? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ order by _ desc limit _ | select name from mountain order by height desc limit 1
### Instruction:

Convert text to sql: Return the name of the mountain with the greatest height. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ order by _ desc limit _ | select name from mountain order by height desc limit 1
### Instruction:

Convert text to sql: List the distinct ranges of the mountains with the top 3 prominence. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select distinct _ from _ order by _ desc limit _ | select distinct range from mountain order by prominence desc limit 3
### Instruction:

Convert text to sql: What are the different ranges of the 3 mountains with the highest prominence? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select distinct _ from _ order by _ desc limit _ | select distinct range from mountain order by prominence desc limit 3
### Instruction:

Convert text to sql: Show names of climbers and the names of mountains they climb. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ | select climber.name , mountain.name from climber join mountain on climber.mountain_id = mountain.mountain_id
### Instruction:

Convert text to sql: What are the names of climbers and the corresponding names of mountains that they climb? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ | select climber.name , mountain.name from climber join mountain on climber.mountain_id = mountain.mountain_id
### Instruction:

Convert text to sql: Show the names of climbers and the heights of mountains they climb. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ | select climber.name , mountain.height from climber join mountain on climber.mountain_id = mountain.mountain_id
### Instruction:

Convert text to sql: What are the names of climbers and the corresponding heights of the mountains that they climb? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ | select climber.name , mountain.height from climber join mountain on climber.mountain_id = mountain.mountain_id
### Instruction:

Convert text to sql: Show the height of the mountain climbed by the climber with the maximum points. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ order by _ desc limit _ | select mountain.height from climber join mountain on climber.mountain_id = mountain.mountain_id order by climber.points desc limit 1
### Instruction:

Convert text to sql: What is the height of the mountain climbined by the climbing who had the most points? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ order by _ desc limit _ | select mountain.height from climber join mountain on climber.mountain_id = mountain.mountain_id order by climber.points desc limit 1
### Instruction:

Convert text to sql: Show the distinct names of mountains climbed by climbers from country "West Germany". | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select distinct _ from _ where _ | select distinct mountain.name from climber join mountain on climber.mountain_id = mountain.mountain_id where climber.country = 'West Germany'
### Instruction:

Convert text to sql: What are the different names of mountains ascended by climbers from the country of West Germany? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select distinct _ from _ where _ | select distinct mountain.name from climber join mountain on climber.mountain_id = mountain.mountain_id where climber.country = 'West Germany'
### Instruction:

Convert text to sql: Show the times used by climbers to climb mountains in Country Uganda. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ where _ | select climber.time from climber join mountain on climber.mountain_id = mountain.mountain_id where mountain.country = 'Uganda'
### Instruction:

Convert text to sql: What are the times used by climbers who climbed mountains in the country of Uganda? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ where _ | select climber.time from climber join mountain on climber.mountain_id = mountain.mountain_id where mountain.country = 'Uganda'
### Instruction:

Convert text to sql: Please show the countries and the number of climbers from each country. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ , count ( _ ) from _ group by _ | select country , count ( * ) from climber group by country
### Instruction:

Convert text to sql: How many climbers are from each country? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ , count ( _ ) from _ group by _ | select country , count ( * ) from climber group by country
### Instruction:

Convert text to sql: List the countries that have more than one mountain. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ group by _ having count ( _ ) > _ | select country from mountain group by country having count ( * ) > 1
### Instruction:

Convert text to sql: Which countries have more than one mountain? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ group by _ having count ( _ ) > _ | select country from mountain group by country having count ( * ) > 1
### Instruction:

Convert text to sql: List the names of mountains that do not have any climber. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ where _ not in ( select _ from _ ) | select name from mountain where mountain_id not in ( select mountain_id from climber )
### Instruction:

Convert text to sql: What are the names of countains that no climber has climbed? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ where _ not in ( select _ from _ ) | select name from mountain where mountain_id not in ( select mountain_id from climber )
### Instruction:

Convert text to sql: Show the countries that have mountains with height more than 5600 stories and mountains with height less than 5200. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select country from mountain where height > 5600 intersect select country from mountain where height < 5200
### Instruction:

Convert text to sql: What are the countries that have both mountains that are higher than 5600 and lower than 5200? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select country from mountain where height > 5600 intersect select country from mountain where height < 5200
### Instruction:

Convert text to sql: Show the range that has the most number of mountains. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ group by _ order by count ( _ ) desc limit _ | select range from mountain group by range order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: Which range contains the most mountains? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ group by _ order by count ( _ ) desc limit _ | select range from mountain group by range order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: Show the names of mountains with height more than 5000 or prominence more than 1000. | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ where _ | select name from mountain where height > 5000 or prominence > 1000
### Instruction:

Convert text to sql: What are the names of mountains that have a height of over 5000 or a prominence of over 1000? | mountain : mountain_id , name , height , prominence , range , country | climber : climber_id , name , country , time , points , mountain_id | climber.mountain_id = mountain.mountain_id | 

### Response:

select _ from _ where _ | select name from mountain where height > 5000 or prominence > 1000
### Instruction:

Convert text to sql: How many body builders are there? | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

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

Convert text to sql: List the total scores of body builders in ascending order. | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ from _ order by _ asc | select total from body_builder order by total asc
### Instruction:

Convert text to sql: List the snatch score and clean jerk score of body builders in ascending order of snatch score. | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ from _ order by _ asc | select snatch , clean_jerk from body_builder order by snatch asc
### Instruction:

Convert text to sql: What is the average snatch score of body builders? | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select avg ( _ ) from _ | select avg ( snatch ) from body_builder
### Instruction:

Convert text to sql: What are the clean and jerk score of the body builder with the highest total score? | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ from _ order by _ desc limit _ | select clean_jerk from body_builder order by total desc limit 1
### Instruction:

Convert text to sql: What are the birthdays of people in ascending order of height? | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ from _ order by _ asc | select birth_date from people order by height asc
### Instruction:

Convert text to sql: What are the names of body builders? | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ from _ | select people.name from body_builder join people on body_builder.people_id = people.people_id
### Instruction:

Convert text to sql: What are the names of body builders whose total score is higher than 300? | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ from _ where _ | select people.name from body_builder join people on body_builder.people_id = people.people_id where body_builder.total > 300
### Instruction:

Convert text to sql: What is the name of the body builder with the greatest body weight? | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ from _ order by _ desc limit _ | select people.name from body_builder join people on body_builder.people_id = people.people_id order by people.weight desc limit 1
### Instruction:

Convert text to sql: What are the birth date and birth place of the body builder with the highest total points? | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ from _ order by _ desc limit _ | select people.birth_date , people.birth_place from body_builder join people on body_builder.people_id = people.people_id order by body_builder.total desc limit 1
### Instruction:

Convert text to sql: What are the heights of body builders with total score smaller than 315? | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ from _ where _ | select people.height from body_builder join people on body_builder.people_id = people.people_id where body_builder.total < 315
### Instruction:

Convert text to sql: What is the average total score of body builders with height bigger than 200? | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select avg ( _ ) from _ where _ | select avg ( body_builder.total ) from body_builder join people on body_builder.people_id = people.people_id where people.height > 200
### Instruction:

Convert text to sql: What are the names of body builders in descending order of total scores? | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ from _ order by _ desc | select people.name from body_builder join people on body_builder.people_id = people.people_id order by body_builder.total desc
### Instruction:

Convert text to sql: List each birth place along with the number of people from there. | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ , count ( _ ) from _ group by _ | select birth_place , count ( * ) from people group by birth_place
### Instruction:

Convert text to sql: What is the most common birth place of people? | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ from _ group by _ order by count ( _ ) desc limit _ | select birth_place from people group by birth_place order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: What are the birth places that are shared by at least two people? | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ from _ group by _ having count ( _ ) >= _ | select birth_place from people group by birth_place having count ( * ) >= 2
### Instruction:

Convert text to sql: List the height and weight of people in descending order of height. | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ from _ order by _ desc | select height , weight from people order by height desc
### Instruction:

Convert text to sql: Show all information about each body builder. | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ from _ | select * from body_builder
### Instruction:

Convert text to sql: List the names and origins of people who are not body builders. | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select _ from _ except select _ from _ | select name , birth_place from people except select people.name , people.birth_place from people join body_builder on people.people_id = body_builder.people_id
### Instruction:

Convert text to sql: How many distinct birth places are there? | body_builder : body_builder_id , people_id , snatch , clean_jerk , total | people : people_id , name , height , weight , birth_date , birth_place | body_builder.people_id = people.people_id | 

### Response:

select count ( distinct _ ) from _ | select count ( distinct birth_place ) from people