Assertion list for term "melt at high temperature".

Results from Ascent++: 1
plastic CapableOfmelt at high temperature 0.35