Assertion list
software wallet (subgroup of wallet ) → IsA
Results from Ascent++: 1
software wallet → IsA → wallet 0.81