Assertion list
entree (primary) → HasA
Results from Ascent++: 1
entree → HasA → flavor 0.16