#doubling.raise__double  raising the stakes in a card game by a factor of 2; "I decided his double was a bluff"
  supertype:  #raise  increasing the size of a bet (as in poker); "I'll see your raise and double it"
  part of:  #card_game__cards__card  a game played with playing cards

No statement uses or specializes #doubling.raise; click here to add one.