Update semantic.html