Assertion list
pig iron (subgroup of iron ) → HasProperty
Results from Ascent++: 1
pig iron → HasProperty → brittle 0.36