Assertion list
bit (primary) → DefinedAs
Results from Ascent++: 2
bit → DefinedAs → the information 0.40
bit → DefinedAs → added types 0.25