Assertion list for term "a-2".
Results from Ascent++: 1
hand → HasProperty → a-2 0.30