graph-rewriting-trs-0.1: examples/ski.trs

Sfgx → fx(gx)
Kxy → x
Ix → x