Assertion list
onyx (primary) → HasA
Results from Ascent++: 3
onyx → HasA → red base 0.40
onyx → HasA → a hardness rating of 7 0.30
onyx → HasA → complex interface 0.30