Task: Text to Code
Input (English): Step 1: find the dormid of Has_amenity table.
Step 2: find the dorm_name of Dorm table whose Dorm's dormid not one of the results of step 1
Output (English): SELECT T1.dorm_name FROM Dorm AS T1 WHERE T1.dormid NOT IN ( SELECT T2.dormid FROM Has_amenity AS T2 )