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

Convert text to sql: What are the first and last names of all the employees and how many people report to them? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select employees.first_name , employees.last_name , count ( employees.reports_to ) from employees join employees on employees.reports_to = employees.id group by employees.reports_to order by count ( employees.reports_to ) desc limit 1

### Instruction:

Convert text to sql: How many orders does Lucas Mancini has? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select count ( * ) from customers join invoices on customers.id = invoices.customer_id where customers.first_name = 'Lucas' and customers.last_name = 'Mancini'
### Instruction:

Convert text to sql: How many orders does Luca Mancini have in his invoices? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select count ( * ) from customers join invoices on customers.id = invoices.customer_id where customers.first_name = 'Lucas' and customers.last_name = 'Mancini'

### Instruction:

Convert text to sql: What is the total amount of money spent by Lucas Mancini? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select sum ( invoices.total ) from customers join invoices on customers.id = invoices.customer_id where customers.first_name = 'Lucas' and customers.last_name = 'Mancini'
### Instruction:

Convert text to sql: How much money did Lucas Mancini spend? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select sum ( invoices.total ) from customers join invoices on customers.id = invoices.customer_id where customers.first_name = 'Lucas' and customers.last_name = 'Mancini'

### Instruction:

Convert text to sql: List all media types. | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select name from media_types
### Instruction:

Convert text to sql: What are the names of all the media types? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select name from media_types

### Instruction:

Convert text to sql: List all different genre types. | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select distinct name from genres
### Instruction:

Convert text to sql: What are the different names of the genres? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select distinct name from genres

### Instruction:

Convert text to sql: List the name of all playlist. | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select name from playlists
### Instruction:

Convert text to sql: What are the names of all the playlists? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select name from playlists

### Instruction:

Convert text to sql: Who is the composer of track Fast As a Shark? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select composer from tracks where name = 'Fast As a Shark'
### Instruction:

Convert text to sql: What is the composer who created the track "Fast As a Shark"? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select composer from tracks where name = 'Fast As a Shark'

### Instruction:

Convert text to sql: How long does track Fast As a Shark has? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select milliseconds from tracks where name = 'Fast As a Shark'
### Instruction:

Convert text to sql: How many milliseconds long is Fast As a Shark? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select milliseconds from tracks where name = 'Fast As a Shark'

### Instruction:

Convert text to sql: What is the name of tracks whose genre is Rock? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select tracks.name from genres join tracks on genres.id = tracks.genre_id where genres.name = 'Rock'