Итак, экстракции — это новые формальные структуры типа шаблонов, добавляемые к представлению текста для "углубления" этого представления. В них дается информация, которая не содержалась в исходном тексте в явном виде. Вообще говоря, эта информация может быть и неверной. Например, Джон мог купить машину (#1), но не владеть ею (#1.1), поскольку он ее немедленно перепродал. Экстракции строятся путем развертывания падежных частей в формулах в виде структур по типу шаблонов, как если бы все условия падежной предпочтительности в формуле действительно были выполнены. Поскольку формула входит в состав некоторого шаблона, то обычно по остальным частям шаблона можно судить, как именно должно было бы быть выполнено условие предпочтительности. Например, согласно формуле для bought, цель покупки — использование покупаемого объекта, а информацию о том, что это за объект, надо искать в объектном узле шаблона (#1). Таким образом, экстракции всегда носят локальный характер, потому что они выводятся из информации, содержащейся только в данном шаблоне.
Третьей процедурой является вывод умозаключений по правилам "здравого смысла", на схеме (10) ей соответствует стрелка (с прямыми углами), ведущая от шаблона #1 к шаблону #3. На основании этой стрелки в #3 на место it подставлена формула для саг. Правила вывода имеют вид "(шаблон) -+ (шаблон)" и всегда включают ограничения на значения переменных. Следует отметить, что эти правила вывода являются частичными: в общем случае они не принадлежат к обязательным следствиям. В случае успешного наложения шаблонов и заполнения "смысловых лакун" мы считаем, что получаем правильную семантическую интерпретацию текста. Более того, рассматривая цепочку выводов из шаблона (или экстракции) с обрабатываемым местоимением, мы считаем более предпочтительной (правильной) самую короткую цепочку из всех возможных (в нашем примере — цепочка, ведущая от it к market 'рынок', отбрасывается как более длинная). Аналогичные соображения относительно заполнения лакун текста с выбором результата, полученного по самой короткой цепочке вывода, высказаны недавно Кларком (Clark, 1975), который, впрочем, опирался на психологические данные.Можно усмотреть сходство между нашими предложениями и "стратегией демонов" Чарняка, описанной в ч. II статьи Чарняка, хотя это сходство и не касается предпочтительности кратчайшей цепочки вывода. В этой части Чар-няк рассматривает в основном вопросы машинного вывода, однако на самом деле одна из исходных задач Чарняка состояла именно в решении проблемы референции в рамках системы анализа детских рассказов (см. Charniak, 1972). Оба сравниваемых подхода направлены на "заполнение смысловых лакун" в отличие, например, от системы Ригера (R i е g е г, 1974), где вывод умозаключений производится в отличие от упомянутых систем, безотносительно к поиску подтверждения этих умозаключений на каждой стадии анализа.