Semantic-OML code

Here is the Semantic-OML pull request.