Assertion list
candy cane (primary) → HasProperty
Results from Ascent++: 2
candy cane → HasProperty → white 0.65
candy cane → HasProperty → fun 0.37