Assertion list for term "be a position number".

Results from Ascent++: 1
integer CapableOfbe a position number 0.28