Скажімо, у мене є сутність під назвою Програмне забезпечення та два підтипи FreeSoftware та NonFreeSoftware. Суб'єкт NonFreeSoftware має такі атрибути, як дата покупки, постачальник тощо. Суб'єкт FreeSoftware має такі атрибути, як ліцензія, URL-код вихідного коду тощо.
Отже, якщо я хочу моделювати іншу сутність, OperatingSystem, як мені це зробити? Існує "є" відносини до Програмного забезпечення, але "або / або" відносини до FreeSoftware та NonFreeSoftware.
Я думаю, що мені щось не вистачає в аналізі цієї ієрархії.