Глобальный Контекст

Глобальный контекст это общая для группы Высказываний часть контекста, которая автоматически прибавляется по умолчанию.

Глобальный контекст можно добавлять оператором :+  (произносится tose) и вычитать из него оператором :- (произносится tode)

Если глобальный контекст нужно обнулить, то это делается следующими способами:

:- 

или

{ }:—

произносится alltode

Пример глобального контекста:

физика :+

объект имеет массу.

объект имеет объем.

объем имеет граница.

граница имеет длина.

:-