Assertion list
red wine (subgroup of wine ) → UsedFor
Results from Ascent++: 1
red wine → UsedFor → improvement 0.25