The [rules](https://boardgames.stackexchange.com/a/10939/3532) for the *Wonder Pack* say:

> If multiple players take cards from the discard pile during a given turn, the resolution order is the following: Halikarnassos, The Great Wall, Manneken Pis, Salomon and finally, Courtesan’s Guild

Let’s say Alice plays this ability from *Halikarnassos* and Bob plays it from *The Great Wall*.

Alice chooses a card from the discard pile. **Does she have to put it in play before Bob chooses a card?** Or do they put their cards in play simultaneously?