Assertion list for term "heavy base".
Results from Ascent++: 1
blender → HasA → heavy base 0.46