Assertion list
mobile wallet (subgroup of wallet ) → IsA
Results from Ascent++: 1
mobile wallet → IsA → app 0.52