Assertion list for term "correspond to private key".

Results from Ascent++: 1
public key (subgroup of key) CapableOfcorrespond to private key 0.52