Assertion list
proof coin (subgroup of coin ) → IsA
Results from Ascent++: 1
proof coin → IsA → without mint mark 0.25