Assertion list
proof coin (subgroup of coin ) → CapableOf

Results from Ascent++: 1
proof coinCapableOf never released into circulation 0.30