Assertion list for term "n integers".

Results from Ascent++: 1
line HasAn integers 0.43