Assertion list
dollar coin (subgroup of coin ) → HasProperty

Results from Ascent++: 1
dollar coinHasProperty large 0.16