В окне Структура утверждений показаны все утверждения, связанные с специализированными пакетами содержимого.
Иерархия классов позволяет просмотреть доступные условия, не создавая конечную точку или стратегию. Эта иерархия применяется специализированными пакетами данных для упорядочения утверждений по пакету и стандарту.
Утверждения могут открываться только для чтения в редакторе типов утверждений (см. раздел Работа с редактором типов утверждений), в котором показаны сведения о типе утверждения и его свойства.