user: Question: What is the average FA Cup that has gary jones as the player, and an FA trophy greater than 5?
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 AVG("FA Cup") FROM "Table" WHERE "Player" = 'gary jones' AND "FA Trophy" > 5.0;