Assertion list
breakfast buffet (subgroup of buffet ) → HasProperty
Results from Ascent++: 1
breakfast buffet → HasProperty → good 0.59