Assertion list
cake batter (subgroup of batter ) → HasProperty
Results from Ascent++: 2
cake batter → HasProperty → thick 0.68
cake batter → HasProperty → runny 0.16