Assertion list
encryption key (subgroup of key ) → HasProperty

Results from Ascent++: 6
encryption keyHasProperty public 0.63
encryption keyHasProperty unique 0.47
encryption keyHasProperty identical 0.32
encryption keyHasProperty dynamic 0.29
encryption keyHasProperty kept secret 0.25
encryption keyHasProperty random 0.25