Assertion list
proof coin (subgroup of coin ) → HasProperty
Results from Ascent++: 2
proof coin → HasProperty → rare 0.25
proof coin → HasProperty → perfect 0.16