Assertion list
bitcoin wallet (subgroup of wallet ) → HasA
Results from Ascent++: 2
bitcoin wallet → HasA → right amount of features 0.31
bitcoin wallet → HasA → simple interface 0.31