Dominion Protocol v2

Figure 1 shows a revised grammar for action and play. The extension adds seven action cards and their associated plays.

  action = mine ; from version 1
  | cellar
  | market
  | remodel
  | smithy
  | village
  | woodcutter
  | workshop
     
  play = .... ; all from version 1
  | (act cellar card ...)
  | (act market)
  | (act remodel card card)
  | (act smithy)
  | (act village)
  | (act woodcutter)
  | (act workshop card)

Figure 1: Dominion protocol, changes for version 2

Some specific constraints on the new plays (in addition to the corresponding card being in the player’s hand and the game state having non-zero actions):