Введем шаблон "Sum(@lst)"
с переменными:
"lst : список"
и переменной результата " z: real " ;
Пояснения: [Сумма списка арифметических выражений]
Условие применения шаблона:
[]
Действие шаблона:
[
if First_list(lst)==Nil then z=Second(lst) else z=Sum(First_list(lst))+(Second(lst))
]
Тип доступа шаблона:[внешний].

/* Пример вопросов:
Sum(1,2,3,4,5)?
Sum(2*3,4/2, 5^2)?
5!?
(3+2)!?
Sum(1,2,3,4,5)!?
Sum(1,2!,3!)?
*/.

В данной онтологии отношение использования не установлено