base F
rule F FF[+F][--FF][-F+F]<rB>