Assertion list for term "13 elements".

Results from Ascent++: 1
lens HasA13 elements 0.33