An Emacs major mode for the Syntax/Semantic Language