Assertion list for term "5 numbers".

Results from Ascent++: 1
line HasA5 numbers 0.53