Получены необходимые и достаточные условия нефоркуемости экзистенциальных типов над произвольными подмножествами семантической модели совершенной, полной для экзистенциальных предложений йонсоновской теории. Установлена связь между свойствами, центральным пополнением йонсоновской теории и свойствами решетки классов эквивалентности экзистенциальных формул.
