Assertion list for term "replaced with different smart card".
Results from Ascent++: 1
smart card → ReceivesAction → replaced with different smart card 0.27