Assertion list for term "show even number".

Results from Ascent++: 1
die CapableOfshow even number 0.28