base X
rule X F-[[X]+X]+F[+FX]-Xl
rule F FF