Considere a proposição: Algum engenheiro é professor. Do ponto de vista da lógica de conjuntos, a representação correta dessa afirmação, em um diagrama de Venn, é caracterizada por: