Assertion list for term "be either an integer".

Results from Ascent++: 1
value (aspect of function) CapableOfbe either an integer 0.25