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)
CREATE TABLE files (f_id DECIMAL, artist_name TEXT, file_size TEXT, duration TEXT, formats TEXT)
CREATE TABLE song (song_name TEXT, artist_name TEXT, country TEXT, f_id DECIMAL, genre_is TEXT, rating DECIMAL, languages TEXT, releasedate TIME, resolution DECIMAL)

Find the distinct names of all songs that have a higher resolution than some songs in English.
SELECT DISTINCT song_name FROM song WHERE resolution > (SELECT MIN(resolution) FROM song WHERE languages = "english")
SELECT DISTINCT "song_name" FROM "song" WHERE "resolution" > (SELECT MIN("resolution") FROM "song" WHERE "english" = "languages")