user: Question: What is the average Founded, when Enrollment is 4000?
Columns: ['Institution', 'Location', 'Founded', 'Affiliation', 'Enrollment', 'Nickname']
Types: ['text', 'text', 'real', 'text', 'real', 'text']
Sample row: ['Adrian College -Gold', 'Adrian, MI', 1859.0, 'Private/ Methodist', 1700.0, 'Bulldogs']
SQL:

assistant: SELECT AVG("Founded") FROM "Table" WHERE "Enrollment" = 4000.0;