Assertion list
melting point (aspect of tungsten ) → IsA

Results from Ascent++: 1
melting pointIsA approximately 1500° 0.25