Assertion list for term "num elements".

Results from Ascent++: 1
array HasAnum elements 0.25