If the winner of || Election || (expected to be held in || Year || at the latest) is || Candidate/Option ||, then the market resolves to Yes.