Create deep semantics.md