If the total vote count for all participants in Kentucky Senate General Election is above 1770000, then the market resolves to Yes.