Assertion list for term "+4".
Results from Ascent++: 1
count → HasProperty → +4 0.39