Question: Please also show me names of songs for which the format is mp3 and resolution is above 1000. | Do you mean the names of songs for which the format is mp3? | Yes
SQL: SELECT T2.song_name FROM files AS T1 JOIN song AS T2 ON T1.f_id   =   T2.f_id WHERE T1.formats   =   "mp3"