Assertion list for term "greater than 9".
Results from Ascent++: 2
absolute value → HasProperty → greater than 9 0.43
sum → HasProperty → greater than 9 0.35