\d i
\l b

K:({`n};{`u};{`v};{`a};{`b})

/ e-tree evaluation

eval:{[v;e;w]!-1}

\d ^
Eval_:i.eval