Assertion list for term "required for decryption".

Results from Ascent++: 1
key ReceivesActionrequired for decryption 0.52