Assertion list
red grouper (subgroup of grouper ) → HasProperty
Results from Ascent++: 1
red grouper → HasProperty → milder 0.59