Assertion list
pig iron (subgroup of iron ) → IsA
Results from Ascent++: 1
pig iron → IsA → about 92 94% iron 0.25