А это и есть проблема формализации, о чем автор много пишет в статье. Если воспринимать "Некоторые А есть B" как предикат, то будет явное подмножество - а человек вполне может так воспринять.

Впрочем, если взять подход автора из предыдущей записи, где он такие выражения переводил на язык предикатов, то да, оно будет неверным. Автор, видимо, хотел подловить на внимательность :) Ибо в оригинале у Кэрролла было "_Все_ кошки знают французский язык".