Assertion list
manganese ore (subgroup of ore ) → IsA
Results from Ascent++: 1
manganese ore → IsA → pyrolusite 0.72