Статья посвящена формальному семантическому анализу высказываний о пропозициональных установках, интерпретируемых de re. Уже ставший традиционным анализ, использующий переменные по генераторам концептов (Percus, Sauerland 2003), перепорождает (Santorio 2014); мы описываем способ, каким можно проверить, адекватно ли требование локальности означивания этих переменных, сформулированное П. Санторио. В случае отрицательного результата альтернативная формализация, предложенная Санторио, окажется неадекватной. Мы предлагаем ещё одно решение, основанное на комбинации согласования (в смысле генеративистской теории признаков) и семантики альтернатив и предсказывающее относительную, а не абсолютную локальность.