Assertion list for term "four integers".

Results from Ascent++: 1
line HasAfour integers 0.55