Без заголовка

спасибо за ссылку! но в ней нет ответа на мой вопрос, только сплошной handwaving - типа если нам вдруг придётся описывать что-то более сложное, чем binary relation, мы это опишем как коллекцию binary relations. а мой вопрос заключается в том, как именно. в каком-то месте там ещё упоминается, что для превращения higher order relations в binary придётся создавать sub-entities. мало того, что это методологически неправильно и увеличивает шум путём внесения в систему кучи искусственных entities, на самом деле не существующих, так ведь к тому же это всё равно проблему не решает. я, в общем, задал крайне простой вопрос насчёт васи и пети. если даже такой простой факт нельзя простым способом в геллише зарегистрировать (а по всему получается, что нельзя, иначе зачем бы handwaving? в удобных случаях автор там очень конкретен), то применимость геллиша вызывает сильные сомнения.