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" )
what is the total number of songs?
select count ( * ) from song