Hello,
I thought that what might be important here in the case of Rebel is that Ed has taught it the "Quadrant" pretty extensively, and that a passed pawn on A or H-file is potentially more dangerous than other passed pawns. In this position it seem to me important that the pawn on a5, Knights exchanged, does not have to be supported by the own King if the opponent King gets outside of the "quadrant, or square" a5-d5-d8-a8. So this forces the Black King to go to the quadrant at all costs or the pawn is virtually promoted but then he has to leave all pawns on the Kingside unprotected.
Here is what Ed writes about the "Quadrant" rule:
Quadrant Rule : The Quadrant Rule is valid in the pawn ending only. If the black king is out of the quadrant of a white passed pawn the pawn is evaluated as promoted and so a bonus of 8 pawns is given, consider the diagram.
[D]6k1/8/8/8/8/8/P7/7K w - - 0 1
White to move simply plays 1.a4 and the black king is out of the quadrant, it can never reach the white pawn in time and so an 8 pawn bonus is given, but with black to move the black king simply steps into the quadrant with 1...Kf7 and the pawn can be stopped in time, so no bonus is given.
However the Quadrant Rule is full of stings and nasty obstacles, to name to few:
When the white king stands in the way before its own pawn, for example on A3, the quadrant needs a to be widened with one step since the white king blocks its own pawn.
There can be more than one passed pawn out of the Quadrant, you can of course bonus only one.
In case of an equal pawn-race between a white and black passed pawn both out of the quadrant and both promoting at the same time, 2 other aspects suddenly become dominant:
if the first pawn that promotes gives a check the other pawn will not make it and thus only the first pawn that promotes receives the 8.00 bonus.
if the first pawn that promotes controls the promotion square of the other (only possible during A/H pawn races), the other pawn will not make it also and thus also here only the first pawn that promotes will get the 8.00 bonus.
All these exceptions must be coded very precisely to avoid your engine to play funny moves. It might keep you busy for a couple of days programming and testing but it's really worthwhile the trouble, the Quadrant Rule is a very powerful algorithm in pawn endings.
http://www.top-5000.nl/authors/rebel/ch ... ED%20PAWNS
In the case of Toga however I think that it also knows something about the quadrant, Toga gets a bonus of 800 for unstoppable pawns, but still it needs more plies to solve this, maybe it is fruitful in this case of endings to teach the program playing White it can attack on two fronts, either support the passed a-pawn if that makes a difference in winning chances, White King can get between pawn and Black King for instance, or attack any undefended Black pawns and thus "overload" the enemy King.
Just some loose thoughts!
Eelco