How many  FA Trophy has a Player of mario walsh and a League larger than 17?
CREATE TABLE table_name_52 (fa_trophy INTEGER, player VARCHAR, league VARCHAR)
SELECT AVG(fa_trophy) FROM table_name_52 WHERE player = "mario walsh" AND league > 17
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_52 (fa_trophy INTEGER, player VARCHAR, league VARCHAR) Question: How many  FA Trophy has a Player of mario walsh and a League larger than 17? [/INST] SELECT AVG(fa_trophy) FROM table_name_52 WHERE player = "mario walsh" AND league > 17 </s>