Task: Text to Code
Input (English): SQL: SELECT Count ( * ) FROM Student
Feedback: Replace student table with has amenity table .
Output (English): SELECT count(DISTINCT dormid) FROM has_amenity