Assertion list for term "be both a number".

Results from Ascent++: 1
zero CapableOfbe both a number 0.28