user: Question: what is the name that saw 4 heats and a lane higher than 7?
Columns: ['Heat', 'Lane', 'Name', 'Nationality', 'Time']
Types: ['real', 'real', 'text', 'text', 'text']
Sample row: [5.0, 5.0, 'Ágnes Kovács', 'Hungary', '2:24.92']
SQL:

assistant: SELECT "Name" FROM "Table" WHERE "Heat" = 4.0 AND "Lane" > 7.0;