When the Flamingo opened in December 1946, it did so with Hollywood flair and the new Vegas flash.
The Flamingo opened in December 1946.
mnli hypothesis: The Flamingo opened in December 1946. premise: When the Flamingo opened in December 1946, it did so with Hollywood flair and the new Vegas flash.