BUR #12888 has been rejected.
rename ace -> ace_(card)
create implication ace_of_clubs -> ace_(card)
create implication ace_of_diamonds -> ace_(card)
create implication ace_of_hearts -> ace_(card)
create implication ace_of_spades -> ace_(card)
Ace is too short and ambiguous, and implications for the subsets.