Desde el punto de vista de la lógica moderna la noción de que el "predicado esté incluido en el sujeto" debe aclararse un poco.