Assertion list for term "zero-filled".
Results from Ascent++: 1
bit → HasProperty → zero-filled 0.50