Assertion list
bit (aspect of byte ) → HasA
Results from Ascent++: 3
bit → HasA → value 0.57
bit → HasA → a value of 1 0.43
bit → HasA → two values 0.34