Assertion list
new coin (subgroup of coin ) → HasA
Results from Ascent++: 1
new coin → HasA → the effigy of william iv 0.25