Had a scenario where a player played a Warfare Rider card voting For an agenda card which, on a For vote, would force all players to reduce their fleet down to 2 dreadnaughts and 4 cruisers. The warfare rider card allows the player to put a dreadnaught from their reinforcements into play.
Which of these effects resolves first?