query: SELECT T2.song_name FROM files AS T1 JOIN song AS T2 ON T1.f_id  =  T2.f_id WHERE T1.formats  =  "mp3" INTERSECT SELECT song_name FROM song WHERE resolution  <  1000
question: Are Returning names of songs for which format is mp3 and resolutions below 1000.
query_toks: SELECT T2.song_name FROM files AS T1 JOIN song AS T2 ON T1.f_id = T2.f_id WHERE T1.formats = `` mp3 '' INTERSECT SELECT song_name FROM song WHERE resolution < 1000
query_toks_no_value: select t2 . song_name from files as t1 join song as t2 on t1 . f_id = t2 . f_id where t1 . formats = value intersect select song_name from song where resolution < value
question_toks: Are Returning names of songs for which format is mp3 and resolutions below 1000.