Assertion list for term "melt into liquid".

Results from Ascent++: 1
solid CapableOfmelt into liquid 0.45