Assertion list for term "even number".
Results from Ascent++: 2
zero → IsA → even number 0.44
square → IsA → even number 0.25