base F-F-F-F
rule F FF-F+F-F-FF FF+F-F+F+FF