Assertion list for term "three integers".

Results from Ascent++: 1
line HasAthree integers 0.45