Assertion list
challenge coin (subgroup of coin ) → HasProperty
Results from Ascent++: 2
challenge coin → HasProperty → unique 0.42
challenge coin → HasProperty → popular 0.34