Assertion list for term "avert loss".

Results from Ascent++: 1
measure CapableOfavert loss 0.55