Assertion list
different mineral (subgroup of mineral ) → AtLocation

Results from Ascent++: 1
different mineralAtLocation equilibrium 0.25