Assertion list
hot wallet (subgroup of wallet ) → IsA
Results from Ascent++: 1
hot wallet → IsA → wallet 0.63