Assertion list
copper ore (subgroup of ore ) → IsA
Results from Ascent++: 1
copper ore → IsA → ore 0.37