the cricket player with 25 odi stumps is who?
(AND cricket.cricket_player (JOIN cricket.cricket_player.odi_stumps 25^^http://www.w3.org/2001/XMLSchema#integer))