Assertion list for term "remain martensitic".

Results from Ascent++: 1
metal CapableOfremain martensitic 0.27