Assertion list
zero (primary) → IsA
Results from Ascent++: 7
zero → IsA → number 0.57
zero → IsA → even number 0.44
zero → IsA → specified integer 0.42
zero → IsA → the number of times 0.33
zero → IsA → numerical digit 0.31
zero → IsA → winning number 0.25
zero → IsA → losing number 0.16