Assertion list for term "two integers".

Results from Ascent++: 1
line HasAtwo integers 0.67