Assertion list
iridium (primary) → HasA
Results from Ascent++: 2
iridium → HasA → high melting point 0.34
iridium → HasA → the largest commercial satellit… 0.21