У меня соединены два утверждения в одном рисунке.

Понял. Тогда, по первой схеме вопросов нет. Осталось разобраться с "некоторые Х есть М".