rm semantic