Assertion list for term "based on a server key".

Results from Ascent++: 1
encryption key (subgroup of key) ReceivesActionbased on a server key 0.25