Assertion list
number (aspect of variable ) → IsA

Results from Ascent++: 2
numberIsA sample sizes 0.33
numberIsA the value 0.32