Assertion list
bitcoin wallet (subgroup of wallet ) → HasProperty
Results from Ascent++: 2
bitcoin wallet → HasProperty → free 0.52
bitcoin wallet → HasProperty → necessary 0.25