Создание пустых конституент заданного типа производится с помощью панели РС-формы, либо программного меню.
Формальные выражения для производных понятий и сокращений могут быть получены полуавтоматически. В Экстеор 4 реализовано два различных механизма генерации формальных выражений термов: терм-функции и анализ типизации исходного терма (структуры).
Создание выражений производных термов по структуре базового понятия представлено на Рис. 1. К типизации базового понятия применяются операции взятия проекции и суммирования множества подмножеств до тех пор, пока типизация не станет типизацией базисного множества.
Описанная операция применима к термам и родовым отношениям, чья типизация не совпадает с типизацией базисного множества. Каждый узел в дереве всех возможных способов прийти к базисному множеству определяет некоторое производное понятие. Представленный на Рис. 1 диалог позволяет отбирать необходимые производные понятия и задавать их схемную интерпретацию.
Порождение схожих по структуре формального выражения понятий производится с помощью терм-функций. Для того чтобы создать терм-функцию на основе существующего терма, необходимо выбрать терм в списке конституент и воспользоваться пунктом Терм -> ТФ контекстного меню.
Диалог создания терм-функции представлен на Рис. 2. После выбора исходного терма автоматически формируется список вхождений других конституент, которые могут быть заменены на параметры. После выбора параметров необходимо нажать на кнопку Генерировать и задать интерпретацию терм-функции и Добавить ТФ.
Для генерации выражений термов по терм-функции, необходимо выбрать терм-функцию в списке конституент и воспользоваться пунктом ТФ -> Терм контекстного меню. Далее для каждого параметра необходимо выбрать его значение из списка предлагаемых конституент, имеющих подходящую типизацию. При генерации выражения терма пользователь выбирает между генерацией полного выражения (подстановка в выражение терм-фукнции параметров) и сокращенного выражения, использующего имя терм-функции. Диалог создания выражения терма по терм-функции представлен на Рис. 3.
