struggling with {s,l,f} symbol sequences

separated out the 3-generators discussion, but no real progress -
confused already about the \cycle{f} :)