How Prediction Markets Handle Ambiguous Resolution