Assertion list for term "begin with the as number".

Results from Ascent++: 1
sequence CapableOfbegin with the as number 0.25