Assertion list for term "odd number".

Results from Ascent++: 1
square IsAodd number 0.28