Find the names and number of works of all artists who have at least one English songs.
CREATE TABLE files (
    f_id number,
    artist_name text,
    file_size text,
    duration text,
    formats text
)

CREATE TABLE song (
    song_name text,
    artist_name text,
    country text,
    f_id number,
    genre_is text,
    rating number,
    languages text,
    releasedate time,
    resolution number
)

CREATE TABLE artist (
    artist_name text,
    country text,
    gender text,
    preferred_genre text
)

CREATE TABLE genre (
    g_name text,
    rating text,
    most_popular_in text
)
SELECT T1.artist_name, COUNT(*) FROM artist AS T1 JOIN song AS T2 ON T1.artist_name = T2.artist_name WHERE T2.languages = "english" GROUP BY T2.artist_name HAVING COUNT(*) >= 1
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: Find the names and number of works of all artists who have at least one English songs. ### Input: CREATE TABLE files (
    f_id number,
    artist_name text,
    file_size text,
    duration text,
    formats text
)

CREATE TABLE song (
    song_name text,
    artist_name text,
    country text,
    f_id number,
    genre_is text,
    rating number,
    languages text,
    releasedate time,
    resolution number
)

CREATE TABLE artist (
    artist_name text,
    country text,
    gender text,
    preferred_genre text
)

CREATE TABLE genre (
    g_name text,
    rating text,
    most_popular_in text
) ### Response: SELECT T1.artist_name, COUNT(*) FROM artist AS T1 JOIN song AS T2 ON T1.artist_name = T2.artist_name WHERE T2.languages = "english" GROUP BY T2.artist_name HAVING COUNT(*) >= 1