Assertion list
silver coin (subgroup of coin ) → HasA
Results from Ascent++: 3
silver coin → HasA → design 0.49
silver coin → HasA → smooth edge 0.39
silver coin → HasA → real silver 0.25