user: Question: What is the name of the swimmer from Australia in lane 4 with a heat larger than 4?
Columns: ['Heat', 'Lane', 'Name', 'Nationality', 'Time']
Types: ['real', 'real', 'text', 'text', 'text']
Sample row: [5.0, 4.0, 'Rebecca Soni', 'United States', '2:22.17']
SQL:

assistant: SELECT "Name" FROM "Table" WHERE "Heat" > 4.0 AND "Lane" = 4.0 AND "Nationality" = 'Australia';