If the total vote count for all participants in Washington 07 House General Election is above 350000, then the market resolves to Yes.