Assertion list for term "12 elements".

Results from Ascent++: 1
lens HasA12 elements 0.34