Assertion list for term "consist of digit".

Results from Ascent++: 1
label CapableOfconsist of digit 0.25