Assertion list for term "higher melting point".

Results from Ascent++: 2
shortening HasAhigher melting point 0.25
solid HasAhigher melting point 0.25