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