Assertion list
smelt (primary) → HasProperty

Results from Ascent++: 3
smeltHasProperty abundant 0.47
smeltHasProperty extinct 0.25
smeltHasProperty fine 0.16