Глобальный Контекст
Глобальный контекст это общая для группы Высказываний часть контекста, которая автоматически прибавляется по умолчанию.
Глобальный контекст можно добавлять оператором :+ (произносится tose) и вычитать из него оператором :- (произносится tode)
Если глобальный контекст нужно обнулить, то это делается следующими способами:
:-
или
{ }:—
произносится alltode
Пример глобального контекста:
физика :+
объект имеет массу.
объект имеет объем.
объем имеет граница.
граница имеет длина.
:-