input: [Jurisdiction] Puerto Rico [Covered Individuals] Any voter [Condition Precedents] No express provisions. [Must Time Be Paid?] No [Potential Entitlement] 
output: Election day is a legal holiday. Employees must be allowed to vote between 8:00 a.m. and 3:00 p.m..