FA Trophy มีผู้เล่น Mario walsh หนึ่งคนและลีกที่มีขนาดใหญ่กว่า 17 คนกี่คน?ไม่จำเป็นต้องใช้ตารางทั้งหมด
How many  FA Trophy has a Player of mario walsh and a League larger than 17?It is not neccessary to use all the tables.
 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