Таким образом, предложение (4) представляет собой не только пример, опровергающий возможность считать систему «Глубинная» адекватной грамматикой для определения принадлежности к множеству правильно сформированных структур. Оно также, вместе с предложением (1), позволяет представить наши интуиции относительно синонимов, то есть позволяет определить, какие предложения, имеющие различную форму и структуру, передают в то же время одинаковое значение. Другими словами, вы и я, будучи носителями языка, понимаем, что, имея совершенно различную структуру, предложения (1) и (4) связаны определенными смысловыми отношениями, которые называются синонимией. В этих двух структурах описываются некие действия или отношения, называемые «предположение». Данные действия выполняет человек по имени «Дик», а люди, которым он высказывает свое предположение, не определены, мы знаем только, что он предполагает, что «Спиро установил контакт с этими ребятами из /ГГ». Далее, в предложении описаны некие дополнительные действия – «контакт». Эти действия выполняются человеком по имени Спиро, те, с кем он установил контакт, описаны как «ребята из ITT», но содержание контакта остается неизвестным. Тот вид интуитивных представлений, которые мы в данный момент описываем, носит название смысловых, или логических, отношений. Снова заимствуя терминологию формальных систем, мы можем рассматривать действия или отношения «предположения» или «контакта» как предикаты.
[61]>[62] Именную группу, связанную с данными отношениями, или предикатами, мы будем называть аргументом предиката. Теперь мы можем охарактеризовать значение предложений (1) и (4) с использованием введенных терминов. Основное значение отношения, или предиката, в этих двух синонимичных предложениях – «предполагать». Предикат «предполагать» имеет три аргумента: лицо (или лица), которое делает предположение (Дик), лицо (или лица), которому высказывается предположение (не определено), и предполагаемая вещь (Спиро установил контакт с ребятами из ITT). Мы можем представить эти три интуитивных представления, используя формы логических систем:
(6) предположил>3 (Дик,___, Спиро установил контакт с ребятами из ITT).
Здесь индекс «3» у предиката обозначает количество связанных с ним аргументов, а пробел указывает на пропущенный аргумент. Третий аргумент является сложным и сам по себе состоит из предиката и его аргументов:
(7) установил контакт>3 (Спиро, ребята из ITT,____).
Пробел обозначает один из пропущенных аргументов предиката «наладить контакт», в данном случае – предмет, на тему которого Спиро и ребята из ITT осуществили контакт. Мы можем свести информацию из примеров (6) и (7) в единую форму: