Assertion list for term "two zeros".

Results from Ascent++: 1
line HasAtwo zeros 0.40