Assertion list
kind (primary) → HasA
Results from Ascent++: 1
kind → HasA → a family of snacks 0.16