Assertion list for term "10 elements".

Results from Ascent++: 1
lens HasA10 elements 0.32