Schema: CREATE TABLE table_name_15 (play_offs INTEGER, total VARCHAR, league VARCHAR, player VARCHAR)
Question: What is the mean number of play-offs when the league number was bigger than 18, where the player was John Grant and the total number was bigger than 25?
SQL: SELECT AVG(play_offs) FROM table_name_15 WHERE league > 18 AND player = "john grant" AND total > 25