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