Assertion list
banana pancake (subgroup of pancake ) → HasProperty
Results from Ascent++: 1
banana pancake → HasProperty → favorite 0.59