Assertion list
smart card (primary) → UsedFor
Results from Ascent++: 1
smart card → UsedFor → payment 0.40