Assertion list for term "become maximum".

Results from Ascent++: 1
weight CapableOfbecome maximum 0.27