CREATE TABLE table_name_52 (fa_trophy INT, player VARCHAR, league VARCHAR)

How many FA Trophy has a Player of mario walsh and a League larger than 17?
SELECT AVG(fa_trophy) FROM table_name_52 WHERE player = "mario walsh" AND league > 17
SELECT AVG("fa_trophy") FROM "table_name_52" WHERE "league" > 17 AND "mario walsh" = "player"