Assertion list
new coin (subgroup of coin ) → IsA
Results from Ascent++: 1
new coin → IsA → legal tender 0.33