CREATE TABLE lives_in (stuid NUMBER, dormid NUMBER, room_number NUMBER)
CREATE TABLE dorm_amenity (amenid NUMBER, amenity_name CLOB)
CREATE TABLE has_amenity (dormid NUMBER, amenid NUMBER)
CREATE TABLE student (stuid NUMBER, lname CLOB, fname CLOB, age NUMBER, sex CLOB, major NUMBER, advisor NUMBER, city_code CLOB)
CREATE TABLE dorm (dormid NUMBER, dorm_name CLOB, student_capacity NUMBER, gender CLOB)

What are the names of the amenities that Smith Hall has?
SELECT T3.amenity_name FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid = T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid = T3.amenid WHERE T1.dorm_name = 'Smith Hall'
SELECT "T3"."amenity_name" FROM "dorm" "T1" JOIN "has_amenity" "T2" ON "T1"."dormid" = "T2"."dormid" JOIN "dorm_amenity" "T3" ON "T2"."amenid" = "T3"."amenid" WHERE "T1"."dorm_name" = 'Smith Hall'