Незважаючи на те, що графи із центром на дієслові досить гнучкі за своєю структурою, вони мають деякі обмеження. Одне з яких полягає в тому, що вони не проводять розмежування між визначниками, що відносяться тлише до дієслова, і визначниками, що відносяться до речення вцілому. Роздивимося такі приклади:

The dog greedily ate the bone.

Greedily, the dog ate the bone.

Ці графи також погано працюють з реченнями, що знаходяться усередині інших речень.

При роботі з реляційними графами виникають проблеми із передачею усього різноманіття часових відношень та відношень модальності. Незважаючи на те, що багато вчених використовують ці графи для вирішення складних проблем, вони так ще й досі не розробили загального методу їх розв’язку. У вище приведеному прикладі позначка PAST повинна відноситися до усього речення, якеньповідомляє про те, що собака їсть кістку, а не лише до дієслова EAT, оскільки видно, що кістка пізніше була з'їдена собакою цілком. Також повинно бути зазначено, що процес проходу кішки і процес не зваження її собакою відбувалися одночасно.

Пропозиційні мережі

У пропозиційних мережах вузли ппредставляють цілі речення Ці вузли є точками дотику для відношень між окремими реченнями зв'язаного тексту. З іншого боку вони визначають час і модальність для всього контексту. Подані нижче приклади ілюструють відношення, для запису яких необхідне використання пропозиційних вузлів:

Sue thinks that Bob believes that a dog is eating a bone.

If a dog is eating a bone, it is unwise to try to take it away from him.

У першому реченні для дієслів “think” і “believe” ціле реченя є доповненням: Боб вважає, що “А dog is eating a bone”, те, що думає Сью являє собою більш складне речення-“Bob believes that a dog is eating a bone”. Таке гніздування речень поміж інших речень може повторюватися як умога велику кількість разів. Щоб зобразити таке речення, необхідно використовувати пропозиційні вузли, що містять гніздящіся графи. На малюнку 4 зображено пропозиційну мережу для цього речення. Відзначимо, що (EXP) - experiencer, тобто той хто відчуває, з'єднує THINK із Сью, а BELIEVE із Бобом, проте EAT і DOG сполучені між собою агентивним відношенням (AGNT). Такі різні типи відношень спричиняє той факт, що думати та вважати-це стани, у яких знаходяться люди, а поїдання-це дія, яка здійснюється агентом.

В другому прикладі наводяться два речення, що знаходяться у відношенні умови. Антецедентом є речення “А dog is eating a bone”, а консеквентом речення “It is unwise to try to take it away from him”. Інфінітиви “to try” і “to take” вказують на інші речення, що гніздяться. На речення, що гніздяться, також вказує оборот “it is unwise”. Для цього речення також необхідно визначити відповідність між “it”, “him” та “bone” і “dog”. Зв'язки відповідності позначені пунктиром. Для формального запису цього речення також використовуються квантори спільності та існування і деякі елементи логіки.

Усі реляційні графи із центром у дієслові мають багато спільного. Проте серед них існують також і відмінності:

1. Вмикання контексту або його лише умовне позначення із посиланням на схемі.

2. Суворе гніздування: той самий концепт може або не може зустрічатися в двох різних контекстах, жодний із який не гніздитися в іншому.

3. Вказання зв'язків відповідності. При перехресному контексті, тобто коли той самий концепт зустрічається в двох різних контекстах, ці зв'язки не вказуються.

Проте це усього лише стилістичні розбіжності, що не впливають істотно на логіку побудови.

Ієрархія типів

Ієрархія типів і підтипів є стандартною характеристикою семантичних мереж. Ієрархія може містити сутності: ТАКСА<СОБАКА<ХИЖАК<ТВАРИНА<ЖИВА ІСТОТА<ФІЗИЧНИЙ ОБ'ЄКТ<СУТНІСТЬ. Вони також можуть містити події: ЖЕРТВУВАТИ<ДАВАТИ<ДІЯ<ПОДІЯ або стани: ЕКСТАЗ<ЩАСТЯ<ЕМОЦІЙНИЙ СТАН<СТАН. Ієрархія Аристотеля містила 10 базових категорій: субстанція, кількість, якість, відношення, місце, час, стан, активність і пасивність..

Символ < між більш загальним і більш частинним символом читається як: “Х-тип/підтип У”.

Термін “ієрархія” позначає часткове упорядкування, у якому одні типи є більш загальними, ніж інші. Упорядкування є частковим, тому, що багато типів просто не підлягають порівнянню між собою. Порівняння HOUSE<DOG та DOG<HOUSE безглузді, якщо їх порівнювати, проте слово DOGHOUSE є підтипом HOUSE, але не DOG. Розглянемо деякі види графів:

Ациклічний граф. Будь-яке часткове упорядкування може бути зображено, як граф без циклів. Такий граф має гілки, що розбігаються та збігаються знову, що дозволяє деяким вузлам мати декілька вузлів-батьків. Іноді такий тип графа називають плутаним.

Дерева. Найпоширенішим видом ієрархії є граф з однією вершиною. У таких графах накладються обмеження на ациклічні графи: вершина графа являє собою один загальний тип, і кожний інший тип Х має лише одного батька У.

Ришітка. На відміну від дерев, вузли ришітки можуть мати декілька вузлів батьків. Проте в данному випадку накладаються інші обмеження: будь-яка пара типів Х и У як мінімум повинна мати загальний гипертип ХіУ і підтип ХчиУ. Внаслідок цього обмеження ришітка виглядає, як дерево, що має головну вершину з кожного боку. Замість усього однієї вершини ришітка має одну вершину, що є гіпертипом усіх категорій, та іншу вершину, що є підтипом усіх типів.

Спадкування.

Основною властивістю ієрархії є можливість спадкування підтипами якостей гіпертипів: усі характеристики, що властиві ТВАРИНІ, також властиві ССАВЦЯМ, РИБІ і ПТИЦІ. У основі теорії спадкування лежить теорія силогізмів Аристотеля: Якщо А - характеристика У, а У - х-ка С,