Assertion list for term "+0".
Results from Ascent++: 1
modifier → HasProperty → +0 0.57