Assertion list for term "+6".
Results from Ascent++: 1
count → HasProperty → +6 0.28