Assertion list
dollar coin (subgroup of coin ) → IsA
Results from Ascent++: 1
dollar coin → IsA → introduced 10 dollar notes 0.25