Так вот, для применения в реальной коммуникации рабочим интерфейсом для выполнения мета-моделирования является линейный СПИСОК В ПОЛТОРА ДЕСЯТКА ПУНКТОВ ! Т.е. вполне обозримая одним взглядом вещь!
Сейчас, как промежуточный этап, БЕЗ погружения во всякие индексные записи и т.д По стандартной схеме силлогизма получается всего 12 правил как форм мета-модели. Какие это формы КИСПа (если я правильно уловил связь) 1. M(1) - M(1) 2. M(1) - M(1) 3. M(1) - M(2) 4. M(1) - M'(2) 5. M(2) - M'(2) 6. M'(2) - M1 7. M(2) - M0 8. M'(1) - M'0 9. M'(1) - M0 10. M1 - M0 11. M0 - M'0 12. M(1) - M1 ...
в которых выделен принцип сохраняющийся при синхронной смене знака.
Мой браузер никаких замков в ваших записях не видит. У меня в момент размещения выскакивала иконка, на которой написано, что мне запрещены комментарии.