Update semantic.md