Assertion list
challenge coin (subgroup of coin ) → IsA
Results from Ascent++: 3
challenge coin → IsA → medallion 0.57
challenge coin → IsA → small coin 0.45
challenge coin → IsA → great way 0.39