Assertion list
crypto wallet (subgroup of wallet ) → IsA
Results from Ascent++: 1
crypto wallet → IsA → a software program 0.47