Assertion list for term "replaced with hardened".

Results from Ascent++: 1
cavity ReceivesActionreplaced with hardened 0.25