sem rewrite