Assertion list for term "remain as residue".

Results from Ascent++: 2
impurity CapableOfremain as residue 0.45
silicon CapableOfremain as residue 0.25