Assertion list
dollar coin (subgroup of coin ) → HasA
Results from Ascent++: 1
dollar coin → HasA → a common reverse tails sidedesi… 0.38