Assertion list for term "mean pure".

Results from Ascent++: 1
natural CapableOfmean pure 0.25