Assertion list
iridium (primary) → IsA
Results from Ascent++: 3
iridium → IsA → a chemical element 0.52
iridium → IsA → the most corrosion-resistant me… 0.42
iridium → IsA → the second densest element 0.30