Tokenizer with terminal; disambiguate -