Assertion list for term "indicate reduction".

Results from Ascent++: 1
result (aspect of expression) CapableOfindicate reduction 0.31