Assertion list for term "small coin".

Results from Ascent++: 1
challenge coin (subgroup of coin) IsAsmall coin 0.45