тримати наскрізь правильно складене вираз, якщо подумки додати опущені слова. Більш значні труднощі виникають тоді, коли мова, наприклад, німецька, допускає разделімие слова. Тоді не можна привести критерій для одного слова суто структурним чином. p> 5. Якщо складне вираз є наскрізь правильно складеним, то дійсно, необхідна умова виконується, однак воно ще не достатньо, щоб це вираз володіло однаковим значенням. Ця умова має бути доповнене іншими. Щоб наскрізь правильно складене вираз мало значення, воно повинно містити взаємно відповідні члени однієї і тієї ж щаблі, пов'язані до себе як функтори і аргументи. Інакше, кожному члену n-го ступеня, який виступає як головний функтор всього виразу, або ж як головний функтор члена (N-1)-му ступені, і який є функтором, що вимагає у своїй категорії значення стільки-то і стільки-то аргументів, що належать до певних категоріям значення з тим, щоб разом з ними утворювати осмислене вираз, такому члену має бути зіставлено в якості його аргументів рівно стільки ж членів n-го ступеня, що належать до відповідних категоріям значення. Таким чином, наприклад, члену, приналежному до категорії значення, позначеної індексом
s
---
ns
(якщо він є головним функтором) повинні, по-перше, відповідати два аргументи, і по-друге, перший аргумент повинен належати до категорії імен, а другий - до категорії пропозицій. Наскрізь правильно складене вираз, який задовольняє обом вище наведеним умовам, назвемо виразом синтаксично пов'язаним. p> Ці умови можна ще інакше й більш прецизійно сформулювати за допомогою нашої символіки індексів. З цією метою ми повинні ввести поняття показника вираження, яке і пояснимо спочатку на прикладі. Візьмемо, наприклад, вираз
p/p. --->. p і приєднаємо до окремих простим виразами їх індекси. Отримаємо:
p/p. --->. p .......................... (A)
s s
s ---- s ---- s. p> ss ss
Зараз члени цього виразу впорядкуємо згідно наступним принципом. Спочатку напишемо головний функтор всього виразу, потім послідовно перший, потім другий (можливо третій, четвертий і т.д.) аргумент. Тоді отримаємо:
---->, p/p, p ............................ (B)
s s
----- s --- s s. p> ss ss
Якщо якийсь входить до цієї послідовність член все ще залишається складовим виразом головного функтора і його аргументів, то цей член ми розкладаємо на члени найближчого вищого ряду і упорядковуємо їх за тим же принципом, записуючи спочатку його головний функтор, потім перший, другий і т.д. аргументи цього функтора. p> Для нашого прикладу ми отримаємо:
---->, /, p, p, p .......................... (C)
s s
-------- s s s. p> ss ss
Якби в цій послідовності знайшовся ще один складений з кількох виразів член, то ми розклали б його за тим же принципом і продовжували б так чинити до тих пір, поки не отримали б у цій послідовності такі частини, які були б тільки простими ви...
