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

Convert text to sql: What is the average rating and resolution of all bangla 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 avg ( rating ) , avg ( resolution ) from song where languages = 'bangla'

### Instruction:

Convert text to sql: What are the maximum and minimum resolution of songs whose duration is 3 minutes? | 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 max ( song.resolution ) , min ( song.resolution ) from files join song on files.f_id = song.f_id where files.duration like '3:%'

### Instruction:

Convert text to sql: What is the maximum and minimum resolution of all songs that are approximately 3 minutes long? | 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 max ( song.resolution ) , min ( song.resolution ) from files join song on files.f_id = song.f_id where files.duration like '3:%'

### Instruction:

Convert text to sql: What are the maximum duration and resolution of songs grouped and ordered by languages? | 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 max ( files.duration ) , max ( song.resolution ) , song.languages from files join song on files.f_id = song.f_id group by song.languages order by song.languages asc
### Instruction:

Convert text to sql: What are the maximum duration and resolution of all songs, for each language, ordered alphabetically by language? | 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 max ( files.duration ) , max ( song.resolution ) , song.languages from files join song on files.f_id = song.f_id group by song.languages order by song.languages asc

### Instruction:

Convert text to sql: What are the shortest duration and lowest rating of songs grouped by genre and ordered by 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 min ( files.duration ) , min ( song.rating ) , song.genre_is from files join song on files.f_id = song.f_id group by song.genre_is order by song.genre_is asc

### Instruction:

Convert text to sql: What is the shortest and most poorly rated song for each genre, ordered alphabetically by 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 min ( files.duration ) , min ( song.rating ) , song.genre_is from files join song on files.f_id = song.f_id group by song.genre_is order by song.genre_is asc

### 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 artist_name from artist where country = 'Bangladesh' except select distinct artist_name from song where rating > 7