# Статусы концептуальной модели

В зависимости от вычисленных интерпретаций выражений конституент концептуальной модели цвет индикатора статуса меняется соответствующим образом, как показано в таблице

Цвет индикатора | ID | Описание статуса
| 00FF00 | M1 | Выражения конституент вычислены, аксиомы выполнены
| FFFF00 | M2 | Выражения вычислены, некоторые аксиомы не выполнены
| FF0000 | M3 | Выражения некоторых конституент не вычислены