Assertion list
carbonate (primary) → IsA
Results from Ascent++: 1
carbonate → IsA → a salt of carbonic acid 0.35