Assertion list for term "single 1".
Results from Ascent++: 1
bit → HasProperty → single 1 0.30