semantic_terminal
