Assertion list for term "smooth edge".
Results from Ascent++: 2
silver coin (subgroup of coin) → HasA → smooth edge 0.39
coin → HasA → smooth edge 0.36