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

Convert text to sql: What are the file sizes and formats for all songs with a resolution lower than 800? | 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 _ | select distinct files.file_size , files.formats from files join song on files.f_id = song.f_id where song.resolution < 800
### Instruction:

Convert text to sql: What is the name of the artist who produced the shortest song? | 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 _ order by _ asc limit _ | select song.artist_name from song join files on song.f_id = files.f_id order by files.duration asc limit 1
### Instruction:

Convert text to sql: What are the names of the artists who sang the shortest song? | 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 _ order by _ asc limit _ | select song.artist_name from song join files on song.f_id = files.f_id order by files.duration asc limit 1
### Instruction:

Convert text to sql: What are the names and countries of origin for the artists who produced the top three highly rated 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 _ order by _ desc limit _ | select artist.artist_name , artist.country from artist join song on artist.artist_name = song.artist_name order by song.rating desc limit 3
### Instruction:

Convert text to sql: What are the names of the singers who sang the top 3 most highly rated songs and what countries do they hail 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 _ order by _ desc limit _ | select artist.artist_name , artist.country from artist join song on artist.artist_name = song.artist_name order by song.rating desc limit 3
### Instruction:

Convert text to sql: How many songs have 4 minute duration? | 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 _ like _ | select count ( * ) from files where duration like '4:%'
### Instruction:

Convert text to sql: What is the count of the songs that last approximately 4 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 count ( _ ) from _ where _ like _ | select count ( * ) from files where duration like '4:%'
### Instruction:

Convert text to sql: How many artists are from Bangladesh? | 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 _ | select count ( * ) from artist where country = 'Bangladesh'
### Instruction:

Convert text to sql: How many Bangladeshi artists are listed? | 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 _ | select count ( * ) from artist where country = 'Bangladesh'
### Instruction:

Convert text to sql: What is the average rating of songs produced by female artists? | 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 ( _ ) from _ where _ | select avg ( song.rating ) from artist join song on artist.artist_name = song.artist_name where artist.gender = 'Female'
### Instruction:

Convert text to sql: How many songs, on average, are sung by a female artist? | 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 ( _ ) from _ where _ | select avg ( song.rating ) from artist join song on artist.artist_name = song.artist_name where artist.gender = 'Female'
### Instruction:

Convert text to sql: What is the most popular file format? | 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 ( _ ) desc limit _ | select formats from files group by formats order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: Find the file format that is used by the most files. | 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 ( _ ) desc limit _ | select formats from files group by formats order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: Find the names of the artists who are from UK and have produced 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 _ intersect select _ from _ where _ | select artist_name from artist where country = 'UK' intersect select artist_name from song where languages = 'english'
### Instruction:

Convert text to sql: What are the names of the artists that are from the UK and sang 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 _ intersect select _ from _ where _ | select artist_name from artist where country = 'UK' intersect select artist_name from song where languages = 'english'
### Instruction:

Convert text to sql: Find the id of songs that are available in mp4 format and have resolution lower than 1000. | 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 _ intersect select _ from _ where _ | select f_id from files where formats = 'mp4' intersect select f_id from song where resolution < 1000
### Instruction:

Convert text to sql: What is the id of the files that are available in the format of mp4 and a resolution smaller than 1000? | 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 _ intersect select _ from _ where _ | select f_id from files where formats = 'mp4' intersect select f_id from song where resolution < 1000
### Instruction:

Convert text to sql: What is the country of origin of the artist who is female and produced a song in 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 _ | select artist.country from artist join song on artist.artist_name = song.artist_name where artist.gender = 'Female' and song.languages = 'bangla'
### Instruction:

Convert text to sql: What countries are the female artists who sung in the language Bangla 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 _ where _ | select artist.country from artist join song on artist.artist_name = song.artist_name where artist.gender = 'Female' and song.languages = 'bangla'
### Instruction:

Convert text to sql: What is the average duration of songs that have mp3 format and resolution below 800? | 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 ( _ ) from _ where _ | select avg ( files.duration ) from files join song on files.f_id = song.f_id where files.formats = 'mp3' and song.resolution < 800
### Instruction:

Convert text to sql: What is the average song duration for the songs that are in mp3 format and whose resolution below 800? | 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 ( _ ) from _ where _ | select avg ( files.duration ) from files join song on files.f_id = song.f_id where files.formats = 'mp3' and song.resolution < 800
### Instruction:

Convert text to sql: What is the number of artists for each gender? | 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 _ | select count ( * ) , gender from artist group by gender
### Instruction:

Convert text to sql: How many artists are male and how many are female? | 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 _ | select count ( * ) , gender from artist group by gender
### Instruction:

Convert text to sql: What is the average rating of songs for each 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 avg ( _ ) , _ from _ group by _ | select avg ( rating ) , languages from song group by languages
### Instruction:

Convert text to sql: What is the average song rating for each 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 avg ( _ ) , _ from _ group by _ | select avg ( rating ) , languages from song group by languages
### Instruction:

Convert text to sql: Return the gender and name of artist who produced the song with the lowest resolution. | 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 _ order by _ asc limit _ | select artist.gender , artist.artist_name from artist join song on artist.artist_name = song.artist_name order by song.resolution asc limit 1
### Instruction:

Convert text to sql: What is the gender and name of the artist who sang the song with the smallest resolution? | 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 _ order by _ asc limit _ | select artist.gender , artist.artist_name from artist join song on artist.artist_name = song.artist_name order by song.resolution asc limit 1
### Instruction:

Convert text to sql: For each file format, return the number of artists who released songs in that format. | 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 _ | select count ( * ) , formats from files group by formats
### Instruction:

Convert text to sql: How many songs were released for each format? | 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 _ | select count ( * ) , formats from files group by formats
### Instruction:

Convert text to sql: Find the distinct names of all songs that have a higher resolution than some 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 distinct _ from _ where _ > ( select min ( _ ) from _ where _ ) | select distinct song_name from song where resolution > ( select min ( resolution ) from song where languages = 'english' )
### Instruction:

Convert text to sql: What are the different names for all songs that have a higher resolution than 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 distinct _ from _ where _ > ( select min ( _ ) from _ where _ ) | select distinct song_name from song where resolution > ( select min ( resolution ) from song where languages = 'english' )
### Instruction:

Convert text to sql: What are the names of all songs that have a lower rating than some song of blues 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 max ( _ ) from _ where _ ) | select song_name from song where rating < ( select max ( rating ) from song where genre_is = 'blues' )
### Instruction:

Convert text to sql: What are the names of the songs that have a lower rating than at least one blues song? | 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 song_name from song where rating < ( select max ( rating ) from song where genre_is = 'blues' )