user: Question: Which city is Lawrenceburg school, with an IHSAA football class of AAA and less than 676 enrollments, located in?
Columns: ['School', 'City', 'Team Name', 'Enrollment', 'IHSAA Class', 'IHSAA Football Class', 'County']
Types: ['text', 'text', 'text', 'real', 'text', 'text', 'text']
Sample row: ['Batesville', 'Batesville', 'Bulldogs', 676.0, 'AAA', 'AAA', '69 Ripley']
SQL:

assistant: SELECT "City" FROM "Table" WHERE "IHSAA Football Class" = 'AAA' AND "Enrollment" < 676.0 AND "School" = 'Lawrenceburg';