Assertion list
aragonite (primary) → IsA
Results from Ascent++: 1
aragonite → IsA → a carbonate mineral 0.60