Assertion list for term "11 elements".

Results from Ascent++: 1
lens HasA11 elements 0.32