If the total vote count for all participants in Ohio 09 House General Election is above 250000, then the market resolves to Yes.