Assertion list
halite (primary) → HasProperty
Results from Ascent++: 2
halite → HasProperty → white 0.55
halite → HasProperty → colorless 0.38