Assertion list
quartz (primary) → HasA
Results from Ascent++: 1
quartz → HasA → a hardness of 7 0.36