Assertion list
hot wallet (subgroup of wallet ) → HasProperty
Results from Ascent++: 2
hot wallet → HasProperty → less secure 0.29
hot wallet → HasProperty → great 0.24