Assertion list for term "propose a number of other measures".

Results from Ascent++: 1
scheme CapableOfpropose a number of other measures 0.32