Assertion list for term "show maximum value of 1".

Results from Ascent++: 1
graph CapableOfshow maximum value of 1 0.25