CREATE TABLE table_name_15 (play_offs INTEGER, total VARCHAR(255), league VARCHAR(255), player VARCHAR(255))
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