Assertion list for term "denote nth prime".

Results from Ascent++: 1
let CapableOfdenote nth prime 0.25