2.10.4. ПРИСВАИВАНИЯ Тропа S :: He R позволяет вычислить источник S и связать полученные результаты с переменными в He. В результате получается новая среда, в которой и вычисляется хвост R. Считается, что источник S находится на нулевом уровне. Если хвост R является огражденной пустой тропой (всегда вырабатывающей пустое выражение), он может быть опущен.
S :: He =>=> S :: He ,
Env,0,St |- S => Oe,St'
Env |- Oe :: He => Env'
Env',m,St' |- R => X,St"
------------------------------
Env,m,St |- S :: He R => X,St"
Env,0,St |- S => $fail(k),St'
-------------------------------------
Env,m,St |- S :: He R => $fail(0),St'
Env,0,St |- S => $error(Oe),St'
---------------------------------------
Env,m,St |- S :: He R => $error(Oe),St'
Например, результатом выполнения тропы
100 :: sN, <"+" sN 1> :: sN = sN
является число 101.