Assertion list
beryllium (primary) → HasA
Results from Ascent++: 1
beryllium → HasA → high melting point 0.30