Assertion list for term "the largest penalty".

Results from Ascent++: 1
fine IsAthe largest penalty 0.36