Assertion list
vanilla cupcake (subgroup of cupcake ) → HasProperty
Results from Ascent++: 1
vanilla cupcake → HasProperty → delicious 0.59