Assertion list
hand cpr (subgroup of cpr ) → HasProperty

Results from Ascent++: 1
hand cprHasProperty effective 0.59