Assertion list
gold ore (subgroup of ore ) → IsA
Results from Ascent++: 1
gold ore → IsA → rare ore 0.25