base X
rule X F-[[X]+X]+F[+FX]-X<gL>
rule F FF