Assertion list for term "two positive integers".

Results from Ascent++: 1
line HasAtwo positive integers 0.38