∀x (CanRegisterToVoteIn(x, unitedStates) → CanParticipateIn(x, 2024UnitedStatesElection))
∀x (Have(x, unitedStatesCitizenship) → CanRegisterToVoteIn(x, unitedStates))
∀x (Have(x, unitedStatesCitizenship) ∨ Have(x, taiwaneseCitizenship))
∀x (Russian(x) ∧ FederationOfficial(x) → ¬Have(x, taiwaneseCitizenship))
¬Have(vladimir, taiwaneseCitizenship) ∧ ¬ManagerAt(vladimir, gazprom)
(Russian(ekaterina) ∧ FederationOfficial(ekaterina)) ∨ CanRegisterToVoteIn(ekaterina, unitedStates)
¬(Russian(vladimir) ∧ FederationOfficial(vladimir))