added non-terminal-gap-space