/*В любой онтологии можно задавать вопросы на вычисления вида: */
3+5*7-8/(3+2)?

/* В онтологии или запросе можно задать грамматику в форме Бэкуса. Например: */
Бул_выр ::="Конъюнкт | Бул_выр 'V' Конъюнкт".
Конъюнкт ::="Атом | Конъюнкт '&' Атом".
Атом ::="'f' | 't' | '(' Бул_выр ')' | '~' Атом | Переменная ".
Переменная ::= "'x_1' | 'x_2'".

/* и задать вопросы вида: */
x_1 V f - Бул_выр?
ответ : " да "
x_1 V ~x_2&x_1 - Бул_выр?
ответ : " да "

/* Можно задать вопрос по проверке того, как система разбирает выражения. */
/* Например: */
Какова структура x_1 V ~x_2&x_1?
ответ : "
< L0 >
< L1 >
x_1 < /L1 >
v < L1 >
< L2 >
~ < L3 >
x_2 < /L3 >
< /L2 >
& < L2 >
x_1 < /L2 >
< /L1 >
< /L0 >
"