Assertion list
chrysoberyl (primary) → HasA
Results from Ascent++: 1
chrysoberyl → HasA → beryllium 0.33