This is an arb market so its resolution criteria are simply:

"Will both Market A and Market B resolve YES?"

Market A: /brod/starmer-out-before-july

Market B: The 30th June option on /Noit/on-what-dates-will-keir-starmer-sti

The above two markets have slightly different criteria. Market A says "An announcement of Keir Starmer's resignation/removal before this market's end date will immediately resolve this market to "Yes", regardless of when the announced resignation/removal goes into effect." Meanwhile Market B is just "if Keir Starmer is Prime Minister". So if he announces his resignation on 29th June, but says he'll stay in post until a successor is found, Market A resolves YES (resignation is announced) but the 30th June option on Market B also resolves YES (he's still PM).

So Market A plus Market B minus this market should always equal 100%. At the time of creating this market, Market A is at 38% and Market B is at 71%, so I'm initialising this one to 9%.

If I have misunderstood the resolution criteria of the above markets, the strict resolution of this market is "will they both resolve YES". Any controversy, take it up with the linked markets. This one follows them. If they get NA'd, this gets NA'd. If they get re-resolved, I'll request this one gets re-resolved.

I will bet in this market.

No AI clarifications will be added.