Assertion list for term "greater than 7".
Results from Ascent++: 1
basis → HasA → greater than 7 0.28