Assertion list
bran muffin (subgroup of muffin ) → HasProperty
Results from Ascent++: 1
bran muffin → HasProperty → healthy 0.59