Assertion list
halite (primary) → IsA
Results from Ascent++: 1
halite → IsA → sodium chloride 0.68