Assertion list for term "correspond to the i-th".

Results from Ascent++: 1
register CapableOfcorrespond to the i-th 0.25