Task: Text to Code
Input (English): SQL: SELECT T1.formats FROM files AS T1 JOIN song AS T2 ON T1.f_id = T2.f_id WHERE T2.rating < 1000
Feedback: Find song id instead of formats whose formats is mp 4 and resolution less than 1000.
Output (English): SELECT f_id FROM files WHERE formats  =  "mp4" INTERSECT SELECT f_id FROM song WHERE resolution  <  1000