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