Assertion list
cast iron (subgroup of iron ) → IsA

Results from Ascent++: 1
cast ironIsA iron 0.36