Recursive Nesting: Alternation -> Optional -> Alternation.