Assertion list for term "top off with frosting".

Results from Ascent++: 1
filled doughnut (subgroup of doughnut) CapableOftop off with frosting 0.25