Language Semantics for html