Assertion list
alloy (primary) → IsA
Results from Ascent++: 3
alloy → IsA → substance 0.61
alloy → IsA → metal 0.52
alloy → IsA → mixture 0.46