Assertion list for term "melt both the base metal".

Results from Ascent++: 1
heat CapableOfmelt both the base metal 0.33