Update semantics.html