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