user: Question: What school in 72 Scott county has an enrollment more than 473 with an AAA IHSAA Class?
Columns: ['School', 'Location', 'Mascot', 'Enrollment', 'IHSAA Class', '# / County']
Types: ['text', 'text', 'text', 'real', 'text', 'text']
Sample row: ['Austin', 'Austin', 'Eagles', 368.0, 'AA', '72 Scott']
SQL:

assistant: SELECT "School" FROM "Table" WHERE "Enrollment" > 473.0 AND "IHSAA Class" = 'AAA' AND "# / County" = '72 Scott';