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