Assertion list
stout (primary) → IsA
Results from Ascent++: 1
stout → IsA → dark beer 0.66