Assertion list for term "provide minimum difference".

Results from Ascent++: 1
parameter (aspect of function) CapableOfprovide minimum difference 0.25