Em uma empresa, todos os contratos são supervisionados por apenas um dos seguintes gerentes: Nelson, Edson, José e Renato. Os gerentes Nelson e Edson atuam sobre todos os contratos com duração de 3 a 6 anos, e apenas sobre esses. Os demais contratos são supervisionados pelos gerentes José ou Renato.

Um contrato que não seja supervisionado por José deverá ser supervisionado por Renato se, e apenas se, a sua duração for