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