Assertion list
regular (primary) → HasA
Results from Ascent++: 1
regular → HasA → drink 0.31