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