Assertion list
bit (primary) → IsA
Results from Ascent++: 2
bit → IsA → part 0.50
bit → IsA → fractional part 0.35