Assertion list
new coin (subgroup of coin ) → HasProperty
Results from Ascent++: 4
new coin → HasProperty → identical 0.29
new coin → HasProperty → larger 0.25
new coin → HasProperty → smaller 0.25
new coin → HasProperty → secure 0.16