Assertion list for term "the optimum".

Results from Ascent++: 1
self HasAthe optimum 0.37