Updated Semantic submodule