a|b(d|e(g|h|i)|f)|cf