user: ### NOW ANSWER:
Question: What FA trophys have tony hemmings as the player, with a league greater than 15?
Columns: ['Player', 'Club', 'League', 'FA Cup', 'FA Trophy', 'League Cup', 'Total']
Types: ['text', 'text', 'real', 'real', 'real', 'real', 'real']
Sample row: ['David Leworthy', 'Farnborough Town', 32.0, 1.0, 5.0, 1.0, 39.0]
SQL:

assistant: SELECT SUM("FA Trophy") FROM "Table" WHERE "Player" = 'tony hemmings' AND "League" > 15.0;