BUR #49071 has been approved by @evazion.
create implication king_(playing_card) -> playing_card
create implication queen_(playing_card) -> playing_card
create implication jack_(playing_card) -> playing_card
Ace and joker already imply playing_card. Might as well do the same for the others.
