Структуры типизированных признаков (Typed Feature Structure, TFS) – известный формализм, применяемый в сфере анализа и обработки данных, представления знаний, различных грамматических теориях, основанных на унификации (среди них FUG, UCG, GPSG, HPSG, LFG, AGFL и др.). Известно направление работ на стыке теоретической информатики, математической логики и прикладной лингвистики, связанное с исследованием вопроса о возможности трансляции формализмов на основе структур признаков и унификации в формализмы на основе типизированных логических исчислений, аналогичных категориальной грамматике Ламбека или являющихся её вариантами (TLG, CCG, MMCCG, Pregroup Grammar и пр.). Другое направление изучения выразительных возможностей структур признаков заключается в переходе к их графовым представлениям и исследованию вопросов вычислительного и алгоритмического характера математическими средствами. Графовые представления оказываются естественными для многих прикладных задач, связанных с представлением знаний в виде концептуальных графов, RDF-графа, реализации модульности  в онтологиях (ср. микротеории в Cyc) и пр. В настоящем докладе мы рассматриваем конструкцию накрытия графа (локально биективного отображения графов) в качестве техники локализации для графовых представлений структур типизированных признаков и исследуем вопрос о трансляции этой конструкции в теоретико-типовой логический формализм. Полученная таким образом модификация типизированного логического исчисления, способная отражать локальные и глобальные характеристики графового представления структур признаков в символьной форме, при его трактовке в качестве синтаксического формализма может служить выражением контекстуальных свойств грамматических признаков.