Symbols as Non-Terminals