Assertion list for term "either a one".
Results from Ascent++: 1
bit → HasProperty → either a one 0.27