Assertion list
pudding (primary) → HasA
Results from Ascent++: 1
pudding → HasA → actual plums 0.31