Assertion list
sulfide ore (subgroup of ore ) → HasA

Results from Ascent++: 1
sulfide oreHasA copper 0.68