Кстати, а может попробовать описать Состояние через модель ЦИ? Например, состояние - это комбинация из текущего активного контекста + текущей активной ЦИ в этом контексте + текущего активного уровня этой ЦИ.
Можно, ежели ты выделишь/укажешь ВЕДУЩУЮ АЛЬТЕРНАТИВУ для заданного/интересующего тебя состояния.Как только ты выделяешь такую альтернативу, - описать состояние матрицей ЦИ становится совершенно тривиальным делом. (Надо перенести эту идею в тему Состояния).