Assertion list for term "correspond to the number of entries".

Results from Ascent++: 1
value (aspect of limit) CapableOfcorrespond to the number of entries 0.36