\d e

eval:{:[4:x 1;x;eval_ ._f'x]}
eval_:{k[x[0][];y[0][]][x 1]y 1}
k.n.n:{({`n};y[x])}
k.v.b:{({`v};y[x])}
k.u.n:{({`n};x[y])}
k.n.v:{({`u};y[x])}
k.v.a:{({`u};y[x])}
k.u.b:{({`v};y[x])}
k.u.a:{({`u};y[x])}
k.u.u:{({`u};x@y@)}
k.u.v:{({`u};{[x;y;z;w]x y[z]w}[x;y])}
k.n.a:{({`u};y[x])}
k.n.b:{({`v};y[x])}

\d ^
eval:e.eval

\

nx ny -> _n[x]y -> x y

k:    2 3 4((*|:)@+)'1 2 3
ski:  run"2 3 4((*|:)+)'1 2 3"
because (*|:) is a verb