Ну, а свойство надо как-то реализовать. Как его реализовать? Для того чтобы оно заработало, необходимо указать несколько вещей. Тут мы входим в положение, внутреннее по отношению к вычислительной системе. Это как если бы мы поставили инженеру задачу «реализовать свойство смещенности», потому что системе оно необходимо. И как же это сделать? Нужно найти цель смещения; похоже, что все приводится в движение вершинными элементами, так что давайте будем из этого исходить. Если найдена цель смещения, которой будет какая-то вершина, то тогда нужно ее выделить по какому-то свойству, что заодно определит, какой элемент будет к ней притягиваться: именная группа, группа вопросительного элемента, еще какой-то элемент? Далее, нужно, чтобы эта вершина предоставляла позицию для смещения: некоторые вершины предоставляют, некоторые — нет. И еще вам нужно найти, что смещать. Таким образом, должны быть три вещи: вам нужны три свойства, а в формальных терминах — три признака; термин «признаки» попросту означает свойства, которые вводятся в вычислительную систему. И инженер признает: «Хорошо, мне нужны три признака»: признак, выделяющий цель и определяющий, какое выражение может к ней передвинуться, признак, выявляющий, что именно смещать, и признак, решающий, есть при целевом элементе свободная позиция или ее нет. Действительно, объект передвижения выявляется по структурному падежу, цель выявляется по избыточным свойствам — согласовательным признакам, если она притягивает именную группу, а свободная позиция — это свойство ПРП. Во всем этом всегда считался каким-то непонятным этот самый принцип расширенной проекции (ПРП) (extended projection principle — ЕРР); «расширенной» потому, что никакая семантическая роль не задействуется; роль заключается в том, что «вот вам позиция, можете на нее смещаться», на этой позиции элемент интерпретируется как смещенный. Так что, кажется, что вам нужны три свойства, а имеются у вас три неинтерпретируемых словоизменительных признака; по меньшей мере, это говорит о том, что неинтерпретируемые признаки присутствуют именно для того, чтобы реализовать смещенность.
Есть еще кое-какие основания так думать. Одним из свойств вычислительной системы является то, что в минимальном варианте от нее требуется удовлетворять условие интерфейса: выражения должны поддаваться интерпретации на стыке. Нельзя, чтобы на стыке с другими системами присутствовали вещи, которые эти системы не смогут прочитать. Например, на сенсомоторном уровне не должно быть слов, не переписанных фонетически, поскольку сенсомоторная система не знает, что делать с такими словами: нельзя выдавать, например, орфографическое слово. И то же будет верно со стороны мышления: надо исключить неинтерпретируемые признаки. Значит, вычислительная система все эти признаки как-то устраняет, но как она их устраняет? Естественный ответ: устраняет их тогда, когда они сделали свое дело. Если это дело заключается в том, чтобы реализовать свойство смещенности, то, когда они его сделают, надо их устранить. И похоже, что именно так все и действует. И сделав дело раз, эти признаки не могут сделать его еще раз: выполнив условие структурного падежа, нельзя выполнить его снова где-то еще. С согласованием чуть похитрее, поскольку система, по-видимому, проделывает его много раз, на что есть свои внутренние причины, и все же если один раз согласовательный признак оприходовали, то, например, выше он уже ни с чем согласоваться не сможет. Он застывает на месте. И все эти вещи прилажены друг к другу таким образом, чтобы придать некоторое правдоподобие идее о том, что они не несовершенства, что они складываются в оптимальный способ удовлетворения внешнего требования, удовлетворения условий интерфейса. Мне не кажется, что такая аргументация может кого-то сразить наповал. Это аргументация, построенная так, чтобы выглядеть правдоподобно, но она имеет некоторую силу, и если она верна, то тогда окажется, что словоизменительная морфология не является несовершенством. Кое-что в ней, как число при существительных, совершенно естественно, это пример удачной конструкции; другие компоненты, как, скажем, структурный падеж или согласовательные признаки при других элементах, по-видимому, делают работу, которую вычислительная система должна выполнить, и, надо сказать, делают ее неплохо.