Assertion list
software wallet (subgroup of wallet ) → ReceivesAction
Results from Ascent++: 1
software wallet → ReceivesAction → connected to the internet 0.13