Assertion list
digital wallet (subgroup of wallet ) → HasPrerequisite
Results from Ascent++: 1
digital wallet → HasPrerequisite → private key 0.25