Assertion list
software wallet (subgroup of wallet ) → HasProperty
Results from Ascent++: 2
software wallet → HasProperty → free 0.48
software wallet → HasProperty → secure 0.38