Assertion list for term "-2".
Results from Ascent++: 1
bat → HasProperty → -2 0.27