Assertion list for term "shown result".

Results from Ascent++: 1
template CapableOfshown result 0.22