Add base+input propositions to the bidding tic-tac-toe games.