Assertion list
euro coin (subgroup of coin ) → IsA
Results from Ascent++: 2
euro coin → IsA → legal tender 0.40
euro coin → IsA → the highest value euro coin 0.16