Assertion list
mineral pyrite (subgroup of pyrite ) → AtLocation

Results from Ascent++: 1
mineral pyriteAtLocation coal 0.16