premise: Promotoria envia primeira acusação formal contra empresários das duas empresas investigadas na Lava Jato.
hypothesis: Esta é a primeira acusação formal contra executivos dessas duas empresas, investigadas na Operação Lava Jato.