Assertion list
osmium (primary) → HasA
Results from Ascent++: 1
osmium → HasA → the highest melting point 0.35