Assertion list for term "better than a loss".

Results from Ascent++: 1
tie HasPropertybetter than a loss 0.30