Assertion list for term "represent the number of bits".

Results from Ascent++: 1
value (aspect of variable) CapableOfrepresent the number of bits 0.25