Assertion list for term "generated by the second encryption key".
Results from Ascent++: 1
encryption key (subgroup of key) → ReceivesAction → generated by the second encryption key 0.32