Assertion list for term "consist of martensite".

Results from Ascent++: 1
structure CapableOfconsist of martensite 0.35