Donmai

Implicate Playing Cards

Posted under Tags

BUR #18559 has been approved by @nonamethanks.

create implication queen_of_hearts_(card) -> queen_(playing_card)
create implication queen_of_diamonds -> queen_(playing_card)
create implication queen_of_spades -> queen_(playing_card)
create implication queen_of_clubs -> queen_(playing_card)
create implication jack_of_clubs_(card) -> jack_(playing_card)
create implication jack_of_hearts -> jack_(playing_card)
create implication jack_of_spades -> jack_(playing_card)
create implication jack_of_diamonds -> jack_(playing_card)
create implication king_of_hearts_(card) -> king_(playing_card)
create implication king_of_spades -> king_(playing_card)
create implication king_of_diamonds -> king_(playing_card)
create implication king_of_clubs -> king_(playing_card)
create implication ace_of_clubs -> ace
create implication ace_of_spades -> ace
create implication ace_of_hearts -> ace
create implication ace_of_diamonds -> ace

It will always be the case where a face card of a certain suit will also qualify for the general face card tag. As such, there should be an implication.

1