base F
rule F FF-[-F+F+F]+[+F-F-F]