Assertion list for term "specified integer".
Results from Ascent++: 1
zero → IsA → specified integer 0.42