Assertion list for term "greater than x.".

Results from Ascent++: 1
value (aspect of function) HasPropertygreater than x. 0.25