Create shallow semantics.md