Card names entirely subsumed in other card names