Create semantics.html