base FFA
rule A f[----fA][-fA][+++fA]
rule f FFf