Assertion list for term "shorten the hole".

Results from Ascent++: 1
tee CapableOfshorten the hole 0.25