Assertion list for term "greater than the second".
Results from Ascent++: 3
value (aspect of expression) → HasProperty → greater than the second 0.28
argument (aspect of function) → HasProperty → greater than the second 0.28
parameter (aspect of function) → HasProperty → greater than the second 0.25