Assertion list for term "ideal version of grease".
Results from Ascent++: 1
group → HasA → ideal version of grease 0.38