user: Question: what name has an appointed year of 2009 and years until mandatory retirement of 13 years?
Columns: ['Name', 'Rank', 'Years until mandatory retirement', 'Appointed by', 'Year appointed']
Types: ['text', 'text', 'text', 'text', 'real']
Sample row: ['Anabelle Rodríguez', 'Associate Justice', '6 years', 'Sila María Calderón', 2004.0]
SQL:

assistant: SELECT "Name" FROM "Table" WHERE "Year appointed" = 2009.0 AND "Years until mandatory retirement" = '13 years';