Assertion list
beryl (primary) → HasA
Results from Ascent++: 2
beryl → HasA → beryllium 0.42
beryl → HasA → basic action 0.25