Assertion list for term "melt at low temperature".

Results from Ascent++: 1
solder CapableOfmelt at low temperature 0.46