Assertion list
chocolate pudding (primary) → HasProperty
Results from Ascent++: 2
chocolate pudding → HasProperty → rich 0.59
chocolate pudding → HasProperty → creamy 0.16