Assertion list
crypto wallet (subgroup of wallet ) → HasProperty
Results from Ascent++: 1
crypto wallet → HasProperty → secure 0.75