Assertion list
chowder (primary) → HasA
Results from Ascent++: 2
chowder → HasA → potato 0.57
chowder → HasA → bacon 0.25