Assertion list for term "ideal version of grease".

Results from Ascent++: 1
group HasAideal version of grease 0.38