Assertion list for term "20 points".

Results from Ascent++: 1
curry HasA20 points 0.25