Assertion list for term "correspond to the atpc range".

Results from Ascent++: 1
value (aspect of limit) CapableOfcorrespond to the atpc range 0.25