Assertion list for term "to get bigger".
Results from Ascent++: 2
goal → HasProperty → to get bigger 0.27
aim → HasProperty → to get bigger 0.23