Assertion list
lemonade (primary) → HasA
Results from Ascent++: 1
lemonade → HasA → salt 0.25