Assertion list for term "greater number".

Results from Ascent++: 1
certificate HasPrerequisitegreater number 0.34