variable binding rule

Правило связывания переменных (в схеме представления знаний)