Assertion list
iron ore (subgroup of ore ) → HasProperty

Results from Ascent++: 2
iron oreHasProperty essential 0.36
iron oreHasProperty abundant 0.34