No Rio, professores em greve podem ter dias descontados a partir de agosto - https://www.redebrasilatual.com.br/trabalho/no-rj-professores-em-greve-podem-ser-descontados-a-partir-de-agosto/