Assertion list for term "hold the tie breaker".

Results from Ascent++: 1
sage CapableOfhold the tie breaker 0.25