Допустим, вы хотите создать систему создания графиков, которая накладывает ограничения на содержимое графика. Скажем, у вас есть отношение «содержит», где «город» может содержать «дома», которые в свою очередь содержат «спальни» и «ванные комнаты». Но для города недопустимо содержать спальни или ванные комнаты или для ванных комнат содержать спальни.
Далее, скажем, вы хотите предложить предложения автору графика - если они выбирают узел "город", вы можетехочу дать им предложения относительно того, что можно добавить к городским "домам", "больницам" и "школам", но не к "спальням".
Я предполагаю, что эти ограничения сами по себе могли быбыть представлен в виде графика. У кого-нибудь была такая удача? Каким был ваш опыт?