richardr1126/spider-context-instruct huggingface dataset:
### 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 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 ( * ) , 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 ( * ) , 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 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 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 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 song_name from song where rating < ( select max ( rating ) from song where genre_is = 'blues' )

### Instruction:

Convert text to sql: What is the name and country of origin of the artist who released a song that has "love" in its 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 artist.artist_name , artist.country from artist join song on artist.artist_name = song.artist_name where song.song_name like '%love%'
### Instruction:

Convert text to sql: What are the names of the artists who released a song that has the word love in its title, and where are the artists 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.artist_name , artist.country from artist join song on artist.artist_name = song.artist_name where song.song_name like '%love%'

### Instruction:

Convert text to sql: List the name and gender for all artists who released songs in March. | 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.gender from artist join song on artist.artist_name = song.artist_name where song.releasedate like '%Mar%'

### Instruction:

Convert text to sql: What are the names and genders of all artists who released songs in the month of March? | 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.gender from artist join song on artist.artist_name = song.artist_name where song.releasedate like '%Mar%'

### Instruction:

Convert text to sql: List the names of all genres in alphabetical oder, together with its ratings. | 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 g_name , rating from genre order by g_name asc
### Instruction:

Convert text to sql: What are the names of all genres in alphabetical order, combined with its ratings? | 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 g_name , rating from genre order by g_name asc

### Instruction:

Convert text to sql: Give me a list of the names of all songs ordered by their 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 song_name from song order by resolution asc

### Instruction:

Convert text to sql: What are the names of all songs that are ordered by their resolution numbers? | 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 order by resolution asc

### Instruction:

Convert text to sql: What are the ids of songs that are available in either mp4 format or have resolution above 720? | 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 files where formats = 'mp4' union select f_id from song where resolution > 720
### Instruction:

Convert text to sql: What are the ids of all songs that are available on mp4 or have a higher resolution than 720? | 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 files where formats = 'mp4' union select f_id from song where resolution > 720

### Instruction:

Convert text to sql: List the names of all songs that have 4 minute duration or are 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.song_name from files join song on files.f_id = song.f_id where files.duration like '4:%' union select song_name from song where languages = 'english'

### Instruction:

Convert text to sql: What are the names of all songs that are approximately 4 minutes long or are 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.song_name from files join song on files.f_id = song.f_id where files.duration like '4:%' union select song_name from song where languages = 'english'

### Instruction:

Convert text to sql: What is the language used most often in the 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 languages from song group by languages order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: What are the languages that are used most often in 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 languages from song group by languages order by count ( * ) desc limit 1

### Instruction:

Convert text to sql: What is the language that was used most often in songs with resolution above 500? | 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_name from song where resolution > 500 group by languages order by count ( * ) desc limit 1

### Instruction:

Convert text to sql: What is the name of the artist, for each language, that has the most songs with a higher resolution than 500? | 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_name from song where resolution > 500 group by languages order by count ( * ) desc limit 1

### Instruction:

Convert text to sql: What are the names of artists who are Male and are from UK? | 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_name from artist where country = 'UK' and gender = 'Male'
### Instruction:

Convert text to sql: What are the names of all male British 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 artist_name from artist where country = 'UK' and gender = 'Male'

### Instruction:

Convert text to sql: Find the names of songs whose genre is modern or language is 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 genre_is = 'modern' or languages = 'english'

### Instruction:

Convert text to sql: What are the names of the songs that are modern or sung 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 genre_is = 'modern' or languages = 'english'

### Instruction:

Convert text to sql: Return the names of songs for which format is mp3 and resolution is below 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 song.song_name from files join song on files.f_id = song.f_id where files.formats = 'mp3' intersect select song_name from song where resolution < 1000
### Instruction:

Convert text to sql: What are the names of all songs that are in mp3 format and have a 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 song.song_name from files join song on files.f_id = song.f_id where files.formats = 'mp3' intersect select song_name from song where resolution < 1000

### Instruction:

Convert text to sql: Return the names of singers who are from UK and released an English 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 artist_name from artist where country = 'UK' intersect select artist.artist_name from artist join song on artist.artist_name = song.artist_name where song.languages = 'english'

### Instruction:

Convert text to sql: What are the names of all singers that are from the UK and released a 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_name from artist where country = 'UK' intersect select artist.artist_name from artist join song on artist.artist_name = song.artist_name where song.languages = 'english'

### Instruction:

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