Assertion list for term "integer n".

Results from Ascent++: 1
line HasAinteger n 0.47