Скорость авто равна 60.
Авто's время =3.
/*
Чему равно авто's путь?
*/.

Заменить термин "область" типа область
на "класс"
[Элементами этого класса являются классы].

/* Этот пример сделан в среде с измененными шаблонами,
в которой + заменен на | , и x+y стал 2*x*y.

/*В этом примере производится замена шаблона + на |
и освобожденный шаблон + используется в новом смысле*/

/* ПРИМЕР ОПИСАНИЯ МИРА */
[ТЕЛА],[ОДУШЕВЛЕННЫЕ ТЕЛА],[НЕОДУШЕВЛЕННЫЕ ТЕЛА],

Используем понятие человек.
человек - область.
Коля - элемент области человек.

/* Текст взят из файла D:\My\Work\EDITOR\EXE\Example\пример определения новых скобок комментария. */.

/* Это комментарий */

A,B,C,D,E-области.
E =D п C п B п A.

Введем шаблон " Sum(@x1,@x2)"
с переменными:
"x1, x2 : real_выражение"
и переменной результата " z: real " ;

/* [ пример: g*f(a)? - ответ: h(a); g*f(a) = h(a)? - ответ: нет ]. */
[A],[B],[C] - области.
[f]: A -> B.
[g]: B -> C.
[h] - отображение.
h = g*f.

/*[ Использованы примеры из книги Цаленко

b,c,d,e: boolean.
c = False.
b = cd = b V ~b --> b.
Введем шаблон "if @u then @v else @w"
с переменными:
["u","v","w": boolean]

"x","z","y":real.
z=-y*2+2^y*(y^3-3).
y=2.
x=1.
это:real.
"большое число":real.
bool - область.
f-bool.
x : bool.
"u", "v" : bool.
/* Не вычисляется

Используем понятие "Локальный шаблон".
Введем шаблон "X_var"
с переменными:
""
и переменной результата " n:real " ;

/*
Для всех[ "x": слагаемое ; y: real_выражение ],
если[ y==1 ],
то[ x*(y) ] => [x] ("умножение на единицу"),

сотрудник, профессор, доцент, лаборант - области.

удалить шаблон " область" с переменными типа : "" и типом результата область .

Удалить шаблон "Пусто"
с переменными типа: ""
и типом результата область.

A,D-области.
b- D.
bool - область.
"u","v",w: bool.

Введем шаблон [if @y then @x else @z]
с переменными:
[y: bool; "x", z :real]

Вася - объект понятия человек.
Вася's имя="Вася".
Вася's год_рождения=1961.

Коля - объект понятия человек.