Assertion list for term "7 elements".

Results from Ascent++: 1
lens HasA7 elements 0.31