Assertion list
ore mineral (subgroup of mineral ) → HasProperty

Results from Ascent++: 1
ore mineralHasProperty sphalerite 0.50