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

Convert text to sql: Find the names and number of works of all artists who have at least one English songs. | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ , count ( _ ) from _ where _ group by _ having count ( _ ) >= _ | select artist.artist_name , count ( * ) from artist join song on artist.artist_name = song.artist_name where song.languages = 'english' group by song.artist_name having count ( * ) >= 1
### Instruction:

Convert text to sql: What are the names and number of works for all artists who have sung at least one song in English? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ , count ( _ ) from _ where _ group by _ having count ( _ ) >= _ | select artist.artist_name , count ( * ) from artist join song on artist.artist_name = song.artist_name where song.languages = 'english' group by song.artist_name having count ( * ) >= 1
### Instruction:

Convert text to sql: Find the name and country of origin for all artists who have release at least one song of resolution above 900. | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ group by _ having count ( _ ) >= _ | select artist.artist_name , artist.country from artist join song on artist.artist_name = song.artist_name where song.resolution > 900 group by song.artist_name having count ( * ) >= 1
### Instruction:

Convert text to sql: What is the name and country of origin for each artist who has released a song with a resolution higher than 900? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ group by _ having count ( _ ) >= _ | select artist.artist_name , artist.country from artist join song on artist.artist_name = song.artist_name where song.resolution > 900 group by song.artist_name having count ( * ) >= 1
### Instruction:

Convert text to sql: Find the names and number of works of the three artists who have produced the most songs. | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ , count ( _ ) from _ group by _ order by count ( _ ) desc limit _ | select artist.artist_name , count ( * ) from artist join song on artist.artist_name = song.artist_name group by song.artist_name order by count ( * ) desc limit 3
### Instruction:

Convert text to sql: What are the names of the three artists who have produced the most songs, and how many works did they produce? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ , count ( _ ) from _ group by _ order by count ( _ ) desc limit _ | select artist.artist_name , count ( * ) from artist join song on artist.artist_name = song.artist_name group by song.artist_name order by count ( * ) desc limit 3
### Instruction:

Convert text to sql: Find the country of origin for the artist who made the least number of songs? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ group by _ order by count ( _ ) asc limit _ | select artist.country from artist join song on artist.artist_name = song.artist_name group by song.artist_name order by count ( * ) asc limit 1
### Instruction:

Convert text to sql: What country is the artist who made the fewest songs from? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ group by _ order by count ( _ ) asc limit _ | select artist.country from artist join song on artist.artist_name = song.artist_name group by song.artist_name order by count ( * ) asc limit 1
### Instruction:

Convert text to sql: What are the names of the songs whose rating is below the rating of all songs in English? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ < ( select min ( _ ) from _ where _ ) | select song_name from song where rating < ( select min ( rating ) from song where languages = 'english' )
### Instruction:

Convert text to sql: What are the song names for every song whose rating is less than the minimum rating for English songs? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ < ( select min ( _ ) from _ where _ ) | select song_name from song where rating < ( select min ( rating ) from song where languages = 'english' )
### Instruction:

Convert text to sql: What is ids of the songs whose resolution is higher than the resolution of any songs with rating lower than 8? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ > ( select max ( _ ) from _ where _ ) | select f_id from song where resolution > ( select max ( resolution ) from song where rating < 8 )
### Instruction:

Convert text to sql: What is the id of every song that has a resolution higher than that of a song with a rating below 8? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ > ( select max ( _ ) from _ where _ ) | select f_id from song where resolution > ( select max ( resolution ) from song where rating < 8 )
### Instruction:

Convert text to sql: What is ids of the songs whose resolution is higher than the average resolution of songs in modern genre? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ > ( select avg ( _ ) from _ where _ ) | select f_id from song where resolution > ( select avg ( resolution ) from song where genre_is = 'modern' )
### Instruction:

Convert text to sql: What are the ids of all songs that have higher resolution of the average resolution in the modern genre? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ > ( select avg ( _ ) from _ where _ ) | select f_id from song where resolution > ( select avg ( resolution ) from song where genre_is = 'modern' )
### Instruction:

Convert text to sql: Find the top 3 artists who have the largest number of songs works whose language is Bangla. | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ group by _ order by count ( _ ) desc limit _ | select artist.artist_name from artist join song on artist.artist_name = song.artist_name where song.languages = 'bangla' group by song.artist_name order by count ( * ) desc limit 3
### Instruction:

Convert text to sql: What are the top 3 artists with the largest number of songs in the language Bangla? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ group by _ order by count ( _ ) desc limit _ | select artist.artist_name from artist join song on artist.artist_name = song.artist_name where song.languages = 'bangla' group by song.artist_name order by count ( * ) desc limit 3
### Instruction:

Convert text to sql: List the id, genre and artist name of English songs ordered by rating. | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ order by _ asc | select f_id , genre_is , artist_name from song where languages = 'english' order by rating asc
### Instruction:

Convert text to sql: What is the id, genre, and name of the artist for every English song ordered by ascending rating? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ order by _ asc | select f_id , genre_is , artist_name from song where languages = 'english' order by rating asc
### Instruction:

Convert text to sql: List the duration, file size and format of songs whose genre is pop, ordered by title? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ order by _ asc | select files.duration , files.file_size , files.formats from files join song on files.f_id = song.f_id where song.genre_is = 'pop' order by song.song_name asc
### Instruction:

Convert text to sql: What is the duration, file size, and song format for every pop song, ordered by title alphabetically? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ order by _ asc | select files.duration , files.file_size , files.formats from files join song on files.f_id = song.f_id where song.genre_is = 'pop' order by song.song_name asc
### Instruction:

Convert text to sql: Find the names of the artists who have produced English songs but have never received rating higher than 8. | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select distinct _ from _ where _ except select distinct _ from _ where _ | select distinct artist_name from song where languages = 'english' except select distinct artist_name from song where rating > 8
### Instruction:

Convert text to sql: What are the names of the different artists that have produced a song in English but have never receieved a rating higher than 8? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select distinct _ from _ where _ except select distinct _ from _ where _ | select distinct artist_name from song where languages = 'english' except select distinct artist_name from song where rating > 8
### Instruction:

Convert text to sql: Find the names of the artists who are from Bangladesh and have never received rating higher than 7. | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select distinct _ from _ where _ except select distinct _ from _ where _ | select distinct artist_name from artist where country = 'Bangladesh' except select distinct artist_name from song where rating > 7
### Instruction:

Convert text to sql: What are the names of the different artists from Bangladesh who never received a rating higher than a 7? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select distinct _ from _ where _ except select distinct _ from _ where _ | select distinct artist_name from artist where country = 'Bangladesh' except select distinct artist_name from song where rating > 7
### Instruction:

Convert text to sql: How many camera lenses have a focal length longer than 15 mm? | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select count ( _ ) from _ where _ | select count ( * ) from camera_lens where focal_length_mm > 15
### Instruction:

Convert text to sql: Find the brand and name for each camera lens, and sort in descending order of maximum aperture. | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select _ from _ order by _ desc | select brand , name from camera_lens order by max_aperture desc
### Instruction:

Convert text to sql: List the id, color scheme, and name for all the photos. | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select _ from _ | select id , color , name from photos
### Instruction:

Convert text to sql: What are the maximum and average height of the mountains? | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select max ( _ ) , avg ( _ ) from _ | select max ( height ) , avg ( height ) from mountain
### Instruction:

Convert text to sql: What are the average prominence of the mountains in country 'Morocco'? | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select avg ( _ ) from _ where _ | select avg ( prominence ) from mountain where country = 'Morocco'
### Instruction:

Convert text to sql: What are the name, height and prominence of mountains which do not belong to the range 'Aberdare Range'? | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select _ from _ where _ | select name , height , prominence from mountain where range != 'Aberdare Range'
### Instruction:

Convert text to sql: What are the id and name of the photos for mountains? | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select _ from _ where _ | select mountain.id , mountain.name from mountain join photos on mountain.id = photos.mountain_id where mountain.height > 4000
### Instruction:

Convert text to sql: What are the id and name of the mountains that have at least 2 photos? | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select _ from _ group by _ having count ( _ ) >= _ | select mountain.id , mountain.name from mountain join photos on mountain.id = photos.mountain_id group by mountain.id having count ( * ) >= 2
### Instruction:

Convert text to sql: What are the names of the cameras that have taken picture of the most mountains? | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select _ from _ group by _ order by count ( _ ) desc limit _ | select camera_lens.name from photos join camera_lens on photos.camera_lens_id = camera_lens.id group by camera_lens.id order by count ( * ) desc limit 1