Assertion list for term "compute the resolution".

Results from Ascent++: 1
calculator CapableOfcompute the resolution 0.25