Assertion list for term "single integer n".
Results from Ascent++: 1
line → HasA → single integer n 0.40